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]
addConstant(const char *const &constName, const char *const &typeName, const bool &external)	Domain	[inline]
addExternalConstant(const char *const &constName, const char *const &typeName)	Domain	[inline]
addFunctionMapping(Function *f)	Domain	[inline]
addFunctionTemplate(const FunctionTemplate *const &funcTemplate)	Domain	[inline]
addPredBlock(Predicate *const &predBlock) const	Domain
addPredicateTemplate(const PredicateTemplate *const &predTemplate)	Domain	[inline]
addType(const char *const &name)	Domain	[inline]
compress()	Domain
computeNumNonEvidAtoms()	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(const Predicate *const &pred) const	Domain
getBlock(const GroundPredicate *const &pred) const	Domain
getBlockEvidence(const int &index) const	Domain
getBlockEvidenceArray() const	Domain
getBlockSize(const int &index) const	Domain	[inline]
getConstantId(const char *const &name) const	Domain	[inline]
getConstantName(const int &id) const	Domain	[inline]
getConstantsByType() const	Domain	[inline]
getConstantsByType(const int &typeId) const	Domain	[inline]
getConstantsByType(const char *const &typeName) const	Domain	[inline]
getConstantsByTypeWithExt(const int &typeId) const	Domain	[inline]
getConstantsByTypeWithExt(const char *const &typeName) const	Domain	[inline]
getConstantTypeIds(const char *const &constName) const	Domain	[inline]
getConstantTypeIds(const int &constId) const	Domain	[inline]
getConstantTypeNames(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]
getExternalConstantsByType() const	Domain	[inline]
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]
getIndexOfPredInBlock(const Predicate *const &pred, const int &blockIdx) const	Domain	[inline]
getNonEqualPredicateNames(Array< string > &predNames) const	Domain	[inline]
getNonEvidenceAtom(const int &index) const	Domain
getNumConstantsByType(const int &typeId) const	Domain	[inline]
getNumConstantsByType(const char *const &typeName) const	Domain	[inline]
getNumConstantsByTypeWithExt(const int &typeId) const	Domain	[inline]
getNumConstantsByTypeWithExt(const char *const &typeName) const	Domain	[inline]
getNumFalseNonEvidGroundings(const int &clauseIdx) const	Domain	[inline]
getNumFunctions() const	Domain	[inline]
getNumNonEvidenceAtoms() const	Domain
getNumNonEvidGroundings(const int &clauseIdx) const	Domain	[inline]
getNumPredBlocks() const	Domain
getNumPredicates() const	Domain	[inline]
getNumTrueNonEvidGroundings(const int &clauseIdx) const	Domain	[inline]
getNumTypes() const	Domain	[inline]
getPredBlock(const int &index) const	Domain
getPredBlocks() const	Domain
getPredDualMap() const	Domain	[inline]
getPredicate(Array< int > *const &constants, int predId)	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]
getPredInBlock(const int &grounding, const int &index) const	Domain	[inline]
getRandomPredInBlock(const int &index) const	Domain	[inline]
getStrToFuncTemplateMap() const	Domain	[inline]
getStrToPredTemplateMap() const	Domain	[inline]
getTrueFalseGroundingsStore() const	Domain	[inline]
getTruePredInBlock(const int &index) 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]
PROPOSITIONAL_CONSTANT	Domain	[static]
PROPOSITIONAL_TYPE	Domain	[static]
reorderConstants(MLN *const &mln, hash_map< int, PredicateHashArray * > &predIdToPredsMap)	Domain
reorderConstants(MLN *const &mln)	Domain
reorderConstants(ConstDualMap *const &map, Array< Array< int > * > *const &cbt, Array< Array< int > * > *const &ecbt, MLN *const &mln)	Domain
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]
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]
setNumFalseNonEvidGndings(const int &clauseIdx, const double &count)	Domain	[inline]
setNumFalseNonEvidGndingsPerClause(Array< double > *numFalseNonEvidGndingsPerClause)	Domain	[inline]
setNumTrueNonEvidGndings(const int &clauseIdx, const double &count)	Domain	[inline]
setNumTrueNonEvidGndingsPerClause(Array< double > *numTrueNonEvidGndingsPerClause)	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]
setTruePredInBlock(const int &index, Predicate *const &pred) const	Domain	[inline]
setTypeDualMap(DualMap *const &map)	Domain	[inline]
updatePerOldToNewIds(MLN *const &mln, hash_map< int, int > &oldToNewConstIds)	Domain
~Domain()	Domain

---