| addConstant(const char *const &constName, const char *const &typeName) | Domain | [inline] |
| addFunctionMapping(Function *f) | Domain | [inline] |
| addFunctionTemplate(const FunctionTemplate *const &funcTemplate) | Domain | [inline] |
| addPredBlock(Array< Predicate * > *const &predBlock) const | Domain | |
| addPredicateTemplate(const PredicateTemplate *const &predTemplate) | Domain | [inline] |
| addType(const char *const &name) | Domain | [inline] |
| compress() | Domain | |
| createPredicate(const int &predId, const bool &includeEqualPreds) const | Domain | |
| createPredicates(Array< Predicate * > *const &preds, const bool &includeEqualPreds) const | Domain | |
| createPredicates(Array< Predicate * > *const &preds, const Array< string > *const &predNames) | Domain | |
| deleteDB() | Domain | |
| Domain() | Domain | [inline] |
| getBlock(Predicate *pred) const | Domain | |
| getBlockEvidence(const int index) const | Domain | |
| getBlockEvidenceArray() const | Domain | |
| getConstantId(const char *const &name) const | Domain | [inline] |
| getConstantIndexInType(const int &constId) const | Domain | [inline] |
| getConstantName(const int &id) const | Domain | [inline] |
| getConstantNames() | Domain | [inline] |
| getConstantsByType() const | Domain | [inline] |
| getConstantsByType(const int &typeId) const | Domain | [inline] |
| getConstantsByType(const char *const &typeName) const | Domain | [inline] |
| getConstantTypeId(const char *const &constName) const | Domain | [inline] |
| getConstantTypeId(const int &constId) const | Domain | [inline] |
| getConstantTypeName(const int &constId) const | Domain | [inline] |
| getConstDualMap() const | Domain | [inline] |
| getDB() const | Domain | [inline] |
| getEmptyFuncBinaryTemplate() const | Domain | [inline] |
| getEmptyFunctionBinaryTemplate() const | Domain | [inline] |
| getEmptyFunctionUnaryTemplate() const | Domain | [inline] |
| getEmptyFuncUnaryTemplate() const | Domain | [inline] |
| getEmptyPredicateTemplate() const | Domain | [inline] |
| getEmptyPredTemplate() const | Domain | [inline] |
| getEqualPredicateTemplate() const | Domain | [inline] |
| getEqualPredTemplate() const | Domain | [inline] |
| getEvidenceIdxInBlock(const int index) const | Domain | |
| getFuncDualMap() const | Domain | [inline] |
| getFuncSet() const | Domain | [inline] |
| getFunctionId(const char *const &name) const | Domain | [inline] |
| getFunctionMappings() const | Domain | [inline] |
| getFunctionName(const int &id) const | Domain | [inline] |
| getFunctionNames() const | Domain | [inline] |
| getFunctionRetConstId(Function *const &f) const | Domain | [inline] |
| getFunctionTemplate(const char *const &name) const | Domain | [inline] |
| getFunctionTemplate(const int &id) const | Domain | [inline] |
| getFunctionTermTypesAsInt(const char *const &name) const | Domain | [inline] |
| getFunctionTermTypesAsStr(const char *const &name) const | Domain | [inline] |
| getHighestPredicateArity() const | Domain | [inline] |
| getNonEqualPredicateNames(Array< string > &predNames) const | Domain | [inline] |
| getNonEvidenceAtom(int index) const | Domain | |
| getNumConstants() const | Domain | [inline] |
| getNumConstantsByType(const int &typeId) const | Domain | [inline] |
| getNumConstantsByType(const char *const &typeName) const | Domain | [inline] |
| getNumFunctions() const | Domain | [inline] |
| getNumNonEvidenceAtoms() const | Domain | |
| getNumPredBlocks() const | Domain | |
| getNumPredicates() const | Domain | [inline] |
| getNumTypes() const | Domain | [inline] |
| getPredBlock(const int index) const | Domain | |
| getPredBlocks() const | Domain | |
| getPredDualMap() const | Domain | [inline] |
| getPredicateId(const char *const &name) const | Domain | [inline] |
| getPredicateName(const int &id) const | Domain | [inline] |
| getPredicateNames() const | Domain | [inline] |
| getPredicateTemplate(const char *const &name) const | Domain | [inline] |
| getPredicateTemplate(const int &id) const | Domain | [inline] |
| getPredicateTermTypesAsInt(const char *const &name) const | Domain | [inline] |
| getPredicateTermTypesAsInt(const int &id) const | Domain | [inline] |
| getPredicateTermTypesAsStr(const char *const &name) const | Domain | [inline] |
| getPredicateTermTypesAsStr(const int &id) | Domain | [inline] |
| getStrToFuncTemplateMap() const | Domain | [inline] |
| getStrToPredTemplateMap() const | Domain | [inline] |
| getTrueFalseGroundingsStore() const | Domain | [inline] |
| getTypeDualMap() const | Domain | [inline] |
| getTypeId(const char *const &name) const | Domain | [inline] |
| getTypeName(const int typeId) const | Domain | [inline] |
| getTypeNames() const | Domain | [inline] |
| isConstant(const char *const &name) const | Domain | [inline] |
| isConstant(const int &id) const | Domain | [inline] |
| isFunction(const char *const &name) const | Domain | [inline] |
| isFunction(const int &id) const | Domain | [inline] |
| isPredicate(const char *const &name) const | Domain | [inline] |
| isPredicate(const int &id) const | Domain | [inline] |
| isType(const char *const &name) const | Domain | [inline] |
| isType(const int &id) const | Domain | [inline] |
| newTrueFalseGroundingsStore() | Domain | |
| printFunctionTemplates(ostream &out) const | Domain | [inline] |
| printPredicateTemplates(ostream &out) const | Domain | [inline] |
| reorderConstants(MLN *const &mln, hash_map< int, PredicateHashArray * > &predIdToPredsMap) | Domain | |
| replaceConstantsByType(Array< Array< int > * > *const &cbt) | Domain | [inline] |
| replaceConstDualMap(ConstDualMap *const &map) | Domain | [inline] |
| replaceEmptyFuncBinaryTemplate(FunctionTemplate *const &t) | Domain | [inline] |
| replaceEmptyFuncUnaryTemplate(FunctionTemplate *const &t) | Domain | [inline] |
| replaceEmptyPredTemplate(PredicateTemplate *const &t) | Domain | [inline] |
| replaceEqualPredTemplate(PredicateTemplate *const &t) | Domain | [inline] |
| replaceFuncSet(FunctionSet *const &funcSet) | Domain | [inline] |
| replaceStrToFuncTemplateMapAndFuncDualMap(StrToFuncTemplateMap *const &m, DualMap *const &funcDualMap) | Domain | [inline] |
| replaceStrToPredTemplateMapAndPredDualMap(StrToPredTemplateMap *const &m, DualMap *const &predDualMap) | Domain | [inline] |
| replaceTypeDualMap(DualMap *const &map) | Domain | [inline] |
| replaceTypeOfConstant(const char *const &constName, const char *const &oldTypeName, const char *const &newTypeName) | Domain | [inline] |
| setBlockEvidence(const int index, const bool value) const | Domain | |
| setConstantsByType(Array< Array< int > * > *const &cbt) | Domain | [inline] |
| setConstDualMap(ConstDualMap *const &map) | Domain | [inline] |
| setDB(Database *const &db) | Domain | [inline] |
| setEmptyFuncBinaryTemplate(FunctionTemplate *const &t) | Domain | [inline] |
| setEmptyFuncUnaryTemplate(FunctionTemplate *const &t) | Domain | [inline] |
| setEmptyPredTemplate(PredicateTemplate *const &t) | Domain | [inline] |
| setEqualPredTemplate(PredicateTemplate *const &t) | Domain | [inline] |
| setFuncSet(FunctionSet *const &funcSet) | Domain | [inline] |
| setStrToFuncTemplateMapAndFuncDualMap(StrToFuncTemplateMap *const &m, DualMap *const &funcDualMap) | Domain | [inline] |
| setStrToPredTemplateMapAndPredDualMap(StrToPredTemplateMap *const &map, DualMap *const &predDualMap) | Domain | [inline] |
| setTrueFalseGroundingsStore(TrueFalseGroundingsStore *const &tfgs) | Domain | [inline] |
| setTypeDualMap(DualMap *const &map) | Domain | [inline] |
| ~Domain() | Domain | |