C++ (Cpp) TypeHashFunctionの例

コード例 #1

ファイル: record.cpp プロジェクト: g2graman/CVC4

size_t RecordHashFunction::operator()(const Record& r) const {
  size_t n = 0;
  const Record::FieldVector& fields = r.getFields();
  for(Record::FieldVector::const_iterator i = fields.begin(),
      i_end = fields.end(); i != i_end; ++i) {
    n = (n << 3) ^ TypeHashFunction()((*i).second);
  }
  return n;
}

コード例 #2

ファイル: emptyset.cpp プロジェクト: 4tXJ7f/CVC4

size_t EmptySetHashFunction::operator()(const EmptySet& es) const {
  return TypeHashFunction()(es.getType());
}

コード例 #3

ファイル: array_store_all.cpp プロジェクト: 4tXJ7f/CVC4

size_t ArrayStoreAllHashFunction::operator()(const ArrayStoreAll& asa) const {
  return TypeHashFunction()(asa.getType()) * ExprHashFunction()(asa.getExpr());
}