Domain Member List

This is the complete list of members for Domain, including all inherited members.

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

---