#include <include/dlvhex2/ID.h>
Public Types | |
| enum | TermBuiltinAddress { TERM_BUILTIN_EQ, TERM_BUILTIN_NE, TERM_BUILTIN_LT, TERM_BUILTIN_LE, TERM_BUILTIN_GT, TERM_BUILTIN_GE, TERM_BUILTIN_MUL, TERM_BUILTIN_ADD, TERM_BUILTIN_SUB, TERM_BUILTIN_DIV, TERM_BUILTIN_AGGCOUNT, TERM_BUILTIN_AGGMIN, TERM_BUILTIN_AGGMAX, TERM_BUILTIN_AGGSUM, TERM_BUILTIN_AGGTIMES, TERM_BUILTIN_AGGAVG, TERM_BUILTIN_AGGANY, TERM_BUILTIN_INT, TERM_BUILTIN_SUCC, TERM_BUILTIN_MOD } |
Public Member Functions | |
| ID () | |
| ID (IDKind kind, IDAddress address) | |
| bool | isTerm () const |
| bool | isConstantTerm () const |
| bool | isIntegerTerm () const |
| bool | isVariableTerm () const |
| bool | isBuiltinTerm () const |
| bool | isPredicateTerm () const |
| bool | isAtom () const |
| bool | isHiddenAtom () const |
| bool | isOrdinaryAtom () const |
| bool | isOrdinaryGroundAtom () const |
| bool | isOrdinaryNongroundAtom () const |
| bool | isBuiltinAtom () const |
| bool | isAggregateAtom () const |
| bool | isExternalAtom () const |
| bool | isModuleAtom () const |
| bool | isLiteral () const |
| bool | isNaf () const |
| bool | isAuxiliary () const |
| bool | isExternalAuxiliary () const |
| bool | isExternalInputAuxiliary () const |
| bool | isRule () const |
| bool | isRegularRule () const |
| bool | isConstraint () const |
| bool | isWeakConstraint () const |
| bool | isWeightRule () const |
| bool | doesRuleContainExtatoms () const |
| bool | doesRuleContainModatoms () const |
| bool | isRuleDisjunctive () const |
| bool | isAnonymousVariable () const |
| bool | operator== (const ID &id2) const |
| bool | operator!= (const ID &id2) const |
| ID | operator| (const ID &id2) const |
| ID | operator& (const ID &id2) const |
| operator uint64_t () const | |
| std::ostream & | print (std::ostream &o) const |
Static Public Member Functions | |
| static ID | termFromInteger (uint32_t i) |
| static ID | termFromBuiltin (TermBuiltinAddress b) |
| static ID | termFromBuiltinString (const std::string &op) |
| static const char * | stringFromBuiltinTerm (IDAddress addr) |
| static ID | posLiteralFromAtom (ID atom) |
| static ID | nafLiteralFromAtom (ID atom) |
| static ID | literalFromAtom (ID atom, bool naf) |
| static ID | atomFromLiteral (ID literal) |
Data Fields | |
| IDKind | kind |
| IDAddress | address |
Static Public Attributes | |
| static const uint32_t | ALL_ONES = 0xFFFFFFFF |
| static const IDKind | NAF_MASK = 0x80000000 |
| static const IDKind | MAINKIND_MASK = 0x70000000 |
| static const uint8_t | MAINKIND_SHIFT = 28 |
| static const IDKind | SUBKIND_MASK = 0x0F000000 |
| static const uint8_t | SUBKIND_SHIFT = 24 |
| static const IDKind | PROPERTY_MASK = 0x00FF0000 |
| static const uint8_t | PROPERTY_SHIFT = 16 |
| static const IDKind | UNUSED_MASK = 0x0000FFFF |
| static const IDKind | MAINKIND_ATOM = 0x00000000 |
| static const IDKind | MAINKIND_TERM = 0x10000000 |
| static const IDKind | MAINKIND_LITERAL = 0x20000000 |
| static const IDKind | MAINKIND_RULE = 0x30000000 |
| static const IDKind | SUBKIND_TERM_CONSTANT = 0x00000000 |
| static const IDKind | SUBKIND_TERM_INTEGER = 0x01000000 |
| static const IDKind | SUBKIND_TERM_VARIABLE = 0x02000000 |
| static const IDKind | SUBKIND_TERM_BUILTIN = 0x03000000 |
| static const IDKind | SUBKIND_TERM_PREDICATE = 0x04000000 |
| static const IDKind | SUBKIND_ATOM_ORDINARYG = 0x00000000 |
| static const IDKind | SUBKIND_ATOM_ORDINARYN = 0x01000000 |
| static const IDKind | SUBKIND_ATOM_BUILTIN = 0x02000000 |
| static const IDKind | SUBKIND_ATOM_AGGREGATE = 0x03000000 |
| static const IDKind | SUBKIND_ATOM_EXTERNAL = 0x06000000 |
| static const IDKind | SUBKIND_ATOM_MODULE = 0x0A000000 |
| static const IDKind | SUBKIND_RULE_REGULAR = 0x00000000 |
| static const IDKind | SUBKIND_RULE_CONSTRAINT = 0x01000000 |
| static const IDKind | SUBKIND_RULE_WEAKCONSTRAINT = 0x02000000 |
| static const IDKind | SUBKIND_RULE_WEIGHT = 0x03000000 |
| static const IDKind | PROPERTY_ATOM_HIDDEN = 0x00010000 |
| static const IDKind | PROPERTY_VAR_ANONYMOUS = 0x00010000 |
| static const IDKind | PROPERTY_RULE_EXTATOMS = 0x00080000 |
| static const IDKind | PROPERTY_RULE_DISJ = 0x00100000 |
| static const IDKind | PROPERTY_RULE_MODATOMS = 0x00400000 |
| static const IDKind | PROPERTY_RULE_UNMODATOMS = 0xFFBFFFFF |
| static const IDKind | PROPERTY_AUX = 0x00800000 |
| static const IDKind | PROPERTY_EXTERNALAUX = 0x00400000 |
| static const IDKind | PROPERTY_EXTERNALINPUTAUX = 0x00200000 |
Detailed Description
Member Enumeration Documentation
- Enumerator:
Constructor & Destructor Documentation
| ID::ID | ( | ) | [inline] |
Definition at line 47 of file ID.h.
Referenced by atomFromLiteral(), nafLiteralFromAtom(), operator&(), operator|(), posLiteralFromAtom(), termFromBuiltin(), and termFromInteger().
Member Function Documentation
| static ID ID::atomFromLiteral | ( | ID | literal | ) | [inline, static] |
Definition at line 142 of file ID.h.
References address, ID(), isLiteral(), kind, MAINKIND_ATOM, MAINKIND_MASK, and NAF_MASK.
Referenced by BaseModelGeneratorFactory::convertRuleBody(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), DependencyGraphFull::createExternalConstantInputDependencies(), DependencyGraphFull::createNodesAndBasicDependencies(), and DependencyGraph::createNodesAndIntraRuleDependenciesForBody().
| bool ID::doesRuleContainExtatoms | ( | ) | const [inline] |
Definition at line 177 of file ID.h.
References isRule(), kind, and PROPERTY_RULE_EXTATOMS.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), ComponentGraph::calculateFixedDomain(), BaseModelGeneratorFactory::convertRule(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), and StrongSafetyChecker::operator()().
| bool ID::doesRuleContainModatoms | ( | ) | const [inline] |
Definition at line 178 of file ID.h.
References isRule(), kind, and PROPERTY_RULE_MODATOMS.
| bool ID::isAggregateAtom | ( | ) | const [inline] |
Definition at line 161 of file ID.h.
References isAtom(), isLiteral(), kind, SUBKIND_ATOM_AGGREGATE, and SUBKIND_MASK.
Referenced by ComponentGraph::calculateFixedDomain(), ComponentGraph::computeRecursiveAggregatesInComponent(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), InternalGroundASPSolver::createNogoodsForRuleBody(), InternalGrounder::getPredicateOfAtom(), and StrongSafetyChecker::operator()().
| bool ID::isAnonymousVariable | ( | ) | const [inline] |
Definition at line 180 of file ID.h.
References isVariableTerm(), kind, and PROPERTY_VAR_ANONYMOUS.
Referenced by InternalGrounder::preprocessRule().
| bool ID::isAtom | ( | ) | const [inline] |
Definition at line 153 of file ID.h.
References kind, MAINKIND_ATOM, and MAINKIND_MASK.
Referenced by DependencyGraphFull::createNodesAndBasicDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead(), MLPSolver::getPredIDFromAtomID(), isAggregateAtom(), isBuiltinAtom(), isExternalAtom(), isHiddenAtom(), isModuleAtom(), isOrdinaryAtom(), isOrdinaryGroundAtom(), isOrdinaryNongroundAtom(), literalFromAtom(), nafLiteralFromAtom(), and posLiteralFromAtom().
| bool ID::isAuxiliary | ( | ) | const [inline] |
Definition at line 167 of file ID.h.
References kind, and PROPERTY_AUX.
Referenced by FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates().
| bool ID::isBuiltinAtom | ( | ) | const [inline] |
Definition at line 160 of file ID.h.
References isAtom(), isLiteral(), kind, SUBKIND_ATOM_BUILTIN, and SUBKIND_MASK.
Referenced by InternalGrounder::applySubstitutionToAtom(), BOOST_AUTO_TEST_CASE(), InternalGrounder::buildGroundInstance(), ComponentGraph::calculateFixedDomain(), FLPModelGeneratorFactoryBase::createFLPRules(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), InternalGrounder::getPredicateOfAtom(), InternalGrounder::match(), InternalGrounder::matchNextFromExtension(), StrongSafetyChecker::operator()(), and InternalGrounder::reorderRuleBody().
| bool ID::isBuiltinTerm | ( | ) | const [inline] |
Definition at line 150 of file ID.h.
References isTerm(), kind, SUBKIND_MASK, and SUBKIND_TERM_BUILTIN.
| bool ID::isConstantTerm | ( | ) | const [inline] |
Definition at line 147 of file ID.h.
References isTerm(), kind, SUBKIND_MASK, and SUBKIND_TERM_CONSTANT.
Referenced by PredicateMask::addPredicate(), InternalGrounder::computeGloballyNewAtom(), DependencyGraphFull::createExternalPredicateInputDependencies(), DependencyGraph::createExternalPredicateInputDependencies(), ExternalAtom::ExternalAtom(), and TestConcatAtom::retrieve().
| bool ID::isConstraint | ( | ) | const [inline] |
Definition at line 173 of file ID.h.
References isRule(), kind, SUBKIND_MASK, and SUBKIND_RULE_CONSTRAINT.
Referenced by FLPModelGeneratorFactoryBase::createFLPRules().
| bool ID::isExternalAtom | ( | ) | const [inline] |
Definition at line 162 of file ID.h.
References isAtom(), isLiteral(), kind, SUBKIND_ATOM_EXTERNAL, and SUBKIND_MASK.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), BOOST_AUTO_TEST_CASE(), ComponentGraph::calculateFixedDomain(), ComponentGraph::calculateStratificationInfo(), ComponentGraph::computeRecursiveAggregatesInComponent(), DependencyGraph::createAuxiliaryRule(), FLPModelGeneratorFactoryBase::createDomainExplorationProgram(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), Registry::getPredicateOfAtom(), StrongSafetyChecker::operator()(), and InternalGrounder::preprocessRule().
| bool ID::isExternalAuxiliary | ( | ) | const [inline] |
Definition at line 168 of file ID.h.
References kind, and PROPERTY_EXTERNALAUX.
Referenced by AnnotatedGroundProgram::computeAtomDependencyGraph(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartRestrictToCompatibleSet(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), UnfoundedSetCheckHeuristicsMax::doUFSCheck(), UnfoundedSetChecker::getUFSNogood(), and ExternalAtomMask::setEAtom().
| bool ID::isExternalInputAuxiliary | ( | ) | const [inline] |
Definition at line 169 of file ID.h.
References kind, and PROPERTY_EXTERNALINPUTAUX.
| bool ID::isHiddenAtom | ( | ) | const [inline] |
Definition at line 156 of file ID.h.
References isAtom(), isLiteral(), kind, and PROPERTY_ATOM_HIDDEN.
Referenced by Registry::printAtomForUser().
| bool ID::isIntegerTerm | ( | ) | const [inline] |
Definition at line 148 of file ID.h.
References isTerm(), kind, SUBKIND_MASK, and SUBKIND_TERM_INTEGER.
Referenced by TestConcatAtom::retrieve().
| bool ID::isLiteral | ( | ) | const [inline] |
Definition at line 165 of file ID.h.
References kind, MAINKIND_LITERAL, and MAINKIND_MASK.
Referenced by atomFromLiteral(), BOOST_AUTO_TEST_CASE(), DependencyGraphFull::createNodesAndBasicDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), isAggregateAtom(), isBuiltinAtom(), isExternalAtom(), isHiddenAtom(), isModuleAtom(), isOrdinaryAtom(), isOrdinaryGroundAtom(), and isOrdinaryNongroundAtom().
| bool ID::isModuleAtom | ( | ) | const [inline] |
Definition at line 163 of file ID.h.
References isAtom(), isLiteral(), kind, SUBKIND_ATOM_MODULE, and SUBKIND_MASK.
Referenced by BOOST_AUTO_TEST_CASE().
| bool ID::isNaf | ( | ) | const [inline] |
Definition at line 166 of file ID.h.
References kind, and NAF_MASK.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), InternalGrounder::buildGroundInstance(), ComponentGraph::calculateComponents(), ComponentGraph::calculateFixedDomain(), ComponentGraph::calculateStratificationInfo(), AnnotatedGroundProgram::computeAtomDependencyGraph(), InternalGroundASPSolver::computeDepGraph(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), BaseModelGeneratorFactory::convertRuleBody(), FLPModelGeneratorFactoryBase::createDomainExplorationProgram(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), NogoodContainer::createLiteral(), DependencyGraphFull::createNodesAndBasicDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), CDNLSolver::falsified(), PluginAtom::generalizeNogood(), FLPModelGeneratorBase::getFixpoint(), FLPModelGeneratorBase::getFLPNogood(), InternalGroundASPSolver::getInitialNewlyUnfoundedAtomsAfterSetFact(), Nogood::getStringRepresentation(), UnfoundedSetChecker::getUFSNogood(), InternalGroundASPSolver::getUnfoundedSet(), InternalGrounder::groundRule(), ExternalLearningHelper::learnFromRule(), CDNLSolver::litToString(), Nogood::match(), InternalGrounder::match(), InternalGrounder::matchBuiltin(), InternalGrounder::matchNextFromExtensionBuiltin(), InternalGrounder::matchNextFromExtensionOrdinary(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), StrongSafetyChecker::operator()(), GenuineGuessAndCheckModelGenerator::partialUFSCheck(), GenuineGuessAndCheckModelGeneratorAsync::partialUFSCheck(), InternalGrounder::preprocessRule(), Nogood::print(), InternalGrounder::reorderRuleBody(), MLPSolver::replacedModuleAtoms(), CDNLSolver::restartWithAssumptions(), MLPSolver::rewriteTuple(), CDNLSolver::satisfied(), AssumptionBasedUnfoundedSetChecker::setAssumptions(), CDNLSolver::setFact(), CDNLSolver::startWatching(), CDNLSolver::stopWatching(), CDNLSolver::touchVarsInNogood(), InternalGroundASPSolver::updateUnfoundedSetStructuresAfterSetFact(), CDNLSolver::updateWatchingStructuresAfterAddNogood(), and CDNLSolver::updateWatchingStructuresAfterSetFact().
| bool ID::isOrdinaryAtom | ( | ) | const [inline] |
Definition at line 157 of file ID.h.
References isAtom(), isLiteral(), kind, and SUBKIND_ATOM_BUILTIN.
Referenced by InternalGrounder::applySubstitutionToAtom(), InternalGrounder::buildGroundInstance(), ComponentGraph::calculateFixedDomain(), ComponentGraph::calculateStratificationInfo(), ComponentGraph::computeRecursiveAggregatesInComponent(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead(), InternalGrounder::getPredicateOfAtom(), Registry::getPredicateOfAtom(), InternalGrounder::getStratumOfRule(), InternalGrounder::match(), InternalGrounder::matchNextFromExtension(), StrongSafetyChecker::operator()(), and InternalGrounder::preprocessRule().
| bool ID::isOrdinaryGroundAtom | ( | ) | const [inline] |
Definition at line 158 of file ID.h.
References isAtom(), isLiteral(), kind, and SUBKIND_MASK.
Referenced by InternalGrounder::applySubstitutionToOrdinaryAtom(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), FLPModelGeneratorFactoryBase::createFLPRules(), NogoodContainer::createLiteral(), ExternalLearningHelper::getIDOfLearningRule(), InternalGrounder::getPredicateOfAtom(), MLPSolver::getPredIDFromAtomID(), InternalGrounder::getStratumOfRule(), Nogood::getStringRepresentation(), Nogood::insert(), InternalGrounder::isGroundRule(), ExternalLearningHelper::learnFromRule(), Nogood::match(), InternalGrounder::matchNextFromExtensionOrdinary(), InternalGrounder::matchOrdinary(), MLPSolver::replacedModuleAtoms(), MLPSolver::rewriteOrdinaryAtom(), ImmediateNogoodGrounder::update(), and LazyNogoodGrounder::update().
| bool ID::isOrdinaryNongroundAtom | ( | ) | const [inline] |
Definition at line 159 of file ID.h.
References isAtom(), isLiteral(), kind, SUBKIND_ATOM_ORDINARYN, and SUBKIND_MASK.
Referenced by FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), MLPSolver::getPredIDFromAtomID(), ExternalLearningHelper::learnFromRule(), and InternalGrounder::matchNextFromExtensionOrdinary().
| bool ID::isPredicateTerm | ( | ) | const [inline] |
Definition at line 151 of file ID.h.
References isTerm(), kind, SUBKIND_MASK, and SUBKIND_TERM_PREDICATE.
Referenced by InternalGrounder::computeGloballyNewAtom().
| bool ID::isRegularRule | ( | ) | const [inline] |
Definition at line 172 of file ID.h.
References isRule(), kind, SUBKIND_MASK, and SUBKIND_RULE_REGULAR.
Referenced by FLPModelGeneratorFactoryBase::createFLPRules(), and DependencyGraph::createNodesAndIntraRuleDependenciesForBody().
| bool ID::isRule | ( | ) | const [inline] |
Definition at line 171 of file ID.h.
References kind, MAINKIND_MASK, and MAINKIND_RULE.
Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForRule(), doesRuleContainExtatoms(), doesRuleContainModatoms(), isConstraint(), isRegularRule(), isRuleDisjunctive(), isWeakConstraint(), isWeightRule(), DependencyGraphFull::writeGraphViz(), DependencyGraph::writeGraphViz(), and DependencyGraphFull::writeGraphVizNodeLabel().
| bool ID::isRuleDisjunctive | ( | ) | const [inline] |
Definition at line 179 of file ID.h.
References isRule(), kind, and PROPERTY_RULE_DISJ.
| bool ID::isTerm | ( | ) | const [inline] |
Definition at line 146 of file ID.h.
References kind, MAINKIND_MASK, and MAINKIND_TERM.
Referenced by PredicateMask::addPredicate(), MLPSyntaxChecker::getArity(), isBuiltinTerm(), isConstantTerm(), isIntegerTerm(), isPredicateTerm(), isVariableTerm(), and TestConcatAtom::retrieve().
| bool ID::isVariableTerm | ( | ) | const [inline] |
Definition at line 149 of file ID.h.
References isTerm(), kind, SUBKIND_MASK, and SUBKIND_TERM_VARIABLE.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), ComponentGraph::calculateFixedDomain(), BaseModelGeneratorFactory::convertRuleBody(), FLPModelGeneratorFactoryBase::createDomainExplorationProgram(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), DependencyGraph::createExternalPredicateInputDependencies(), FLPModelGeneratorFactoryBase::createFLPRules(), Registry::getVariablesInID(), isAnonymousVariable(), Nogood::match(), StrongSafetyChecker::operator()(), ImmediateNogoodGrounder::update(), and LazyNogoodGrounder::update().
| bool ID::isWeakConstraint | ( | ) | const [inline] |
Definition at line 174 of file ID.h.
References isRule(), kind, SUBKIND_MASK, and SUBKIND_RULE_WEAKCONSTRAINT.
Referenced by InternalGroundASPSolver::computeClarkCompletion().
| bool ID::isWeightRule | ( | ) | const [inline] |
Definition at line 175 of file ID.h.
References isRule(), kind, SUBKIND_MASK, and SUBKIND_RULE_WEIGHT.
Referenced by AnnotatedGroundProgram::computeAtomDependencyGraph(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), and InternalGroundASPSolver::createNogoodsForRule().
| static ID ID::literalFromAtom | ( | ID | atom, |
| bool | naf | ||
| ) | [inline, static] |
Definition at line 140 of file ID.h.
References isAtom(), nafLiteralFromAtom(), and posLiteralFromAtom().
Referenced by BaseModelGeneratorFactory::convertRuleBody(), FLPModelGeneratorFactoryBase::createFLPRules(), sem< HexGrammarSemantics::bodyLiteral >::operator()(), InternalGrounder::preprocessRule(), MLPSolver::replacedModuleAtoms(), and MLPSolver::rewriteTuple().
| static ID ID::nafLiteralFromAtom | ( | ID | atom | ) | [inline, static] |
Definition at line 138 of file ID.h.
References address, ID(), isAtom(), kind, MAINKIND_LITERAL, and NAF_MASK.
Referenced by BOOST_AUTO_TEST_CASE(), literalFromAtom(), and AssumptionBasedUnfoundedSetChecker::setAssumptions().
| bool ID::operator!= | ( | const ID & | id2 | ) | const [inline] |
| bool ID::operator== | ( | const ID & | id2 | ) | const [inline] |
| static ID ID::posLiteralFromAtom | ( | ID | atom | ) | [inline, static] |
Definition at line 136 of file ID.h.
References address, ID(), isAtom(), kind, and MAINKIND_LITERAL.
Referenced by BOOST_AUTO_TEST_CASE(), and literalFromAtom().
| std::ostream & ID::print | ( | std::ostream & | o | ) | const |
Definition at line 20 of file ID.cpp.
References address, ID_FAIL(), kind, MAINKIND_MASK, MAINKIND_SHIFT, NAF_MASK, SUBKIND_MASK, and SUBKIND_SHIFT.
| const char * ID::stringFromBuiltinTerm | ( | IDAddress | addr | ) | [static] |
Definition at line 150 of file ID.cpp.
Referenced by RawPrinter::print().
| static ID ID::termFromBuiltin | ( | TermBuiltinAddress | b | ) | [inline, static] |
Definition at line 132 of file ID.h.
References ID(), MAINKIND_TERM, and SUBKIND_TERM_BUILTIN.
Referenced by BOOST_AUTO_TEST_CASE(), HexGrammarBase< Iterator, Skipper >::HexGrammarBase(), and termFromBuiltinString().
| ID ID::termFromBuiltinString | ( | const std::string & | op | ) | [static] |
Definition at line 57 of file ID.cpp.
References ID_FAIL(), TERM_BUILTIN_ADD, TERM_BUILTIN_AGGANY, TERM_BUILTIN_AGGAVG, TERM_BUILTIN_AGGCOUNT, TERM_BUILTIN_AGGMAX, TERM_BUILTIN_AGGMIN, TERM_BUILTIN_AGGSUM, TERM_BUILTIN_AGGTIMES, TERM_BUILTIN_DIV, TERM_BUILTIN_EQ, TERM_BUILTIN_GE, TERM_BUILTIN_GT, TERM_BUILTIN_INT, TERM_BUILTIN_LE, TERM_BUILTIN_LT, TERM_BUILTIN_MOD, TERM_BUILTIN_MUL, TERM_BUILTIN_NE, TERM_BUILTIN_SUB, TERM_BUILTIN_SUCC, and termFromBuiltin().
| static ID ID::termFromInteger | ( | uint32_t | i | ) | [inline, static] |
Definition at line 130 of file ID.h.
References ID(), MAINKIND_TERM, and SUBKIND_TERM_INTEGER.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::matchNextFromExtensionBuiltinBinary(), InternalGrounder::matchNextFromExtensionBuiltinTernary(), InternalGrounder::matchNextFromExtensionBuiltinUnary(), sem< HexGrammarSemantics::termFromInteger >::operator()(), handle_int::operator()(), sem< HexGrammarSemantics::weakconstraint >::operator()(), TestPluginAtomCount::retrieve(), TestNonmonAtom::retrieve(), TestNonmon2Atom::retrieve(), and Registry::storeTerm().
Field Documentation
Definition at line 46 of file ID.h.
Referenced by CDNLSolver::addNogoodAndUpdateWatchingStructures(), PredicateMask::addPredicate(), InternalGroundASPSolver::addSourceToAtom(), CDNLSolver::analysis(), InternalGrounder::applyIntFunction(), atomFromLiteral(), BOOST_AUTO_TEST_CASE(), BaseModelGenerator::buildEAtomInputTuples(), InternalGrounder::buildGroundInstance(), AnnotatedGroundProgram::computeAtomDependencyGraph(), InternalGroundASPSolver::computeClarkCompletion(), InternalGroundASPSolver::computeDepGraph(), AnnotatedGroundProgram::computeHeadCycles(), AnnotatedGroundProgram::computeStronglyConnectedComponents(), AssumptionBasedUnfoundedSetChecker::constructDomain(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemDefineAuxiliaries(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartRestrictToCompatibleSet(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), NogoodContainer::createLiteral(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createNewBodyAtom(), DependencyGraph::createNodesAndIntraRuleDependenciesForRule(), InternalGroundASPSolver::createNogoodsForRule(), AnnotatedGroundProgram::createProgramMask(), InternalGroundASPSolver::createShiftedProgram(), InternalGroundASPSolver::doesRuleExternallySupportLiteral(), UnfoundedSetCheckHeuristicsMax::doUFSCheck(), CDNLSolver::falsified(), GenuineGuessAndCheckModelGenerator::generalizeNogood(), GenuineGuessAndCheckModelGeneratorAsync::generalizeNogood(), PluginAtom::generalizeNogood(), InternalGroundASPSolver::getDependingAtoms(), InternalGroundASPSolver::getExternalSupport(), FLPModelGeneratorBase::getFixpoint(), FLPModelGeneratorBase::getFLPNogood(), CDNLSolver::getGuess(), InternalGroundASPSolver::getInitialNewlyUnfoundedAtomsAfterSetFact(), InternalGrounder::getOutputVariables(), InternalGroundASPSolver::getPossibleSourceRule(), Nogood::getStringRepresentation(), UnfoundedSetChecker::getUFSNogood(), InternalGroundASPSolver::getUnfoundedSet(), InternalGrounder::groundStratum(), DLVHEX_NAMESPACE_BEGIN::hash_value(), CDNLSolver::inactivateNogood(), InternalGrounder::isAtomDerivable(), GenuineGuessAndCheckModelGenerator::isVerified(), GenuineGuessAndCheckModelGeneratorAsync::isVerified(), ExternalLearningHelper::learnFromNegativeAtoms(), ExternalLearningHelper::learnFromRule(), CDNLSolver::litToString(), InternalGrounder::matchNextFromExtensionOrdinary(), nafLiteralFromAtom(), CDNLSolver::negation(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), operator!=(), operator&(), operator==(), operator|(), BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB::output(), FLPModelGeneratorBase::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::output(), FLPModelGeneratorBase::VerifyExternalAtomCB::output(), GenuineGuessAndCheckModelGenerator::partialUFSCheck(), GenuineGuessAndCheckModelGeneratorAsync::partialUFSCheck(), posLiteralFromAtom(), Nogood::print(), RawPrinter::print(), Rule::print(), print(), Nogood::recomputeHash(), InternalGroundASPSolver::removeSourceFromAtom(), InternalGrounder::reorderRuleBody(), CDNLSolver::restartWithAssumptions(), TestConcatAtom::retrieve(), SenseNotArmed2PluginAtom::retrieve(), GenPluginAtom2::retrieve(), MLPSolver::rewrite(), CDNLSolver::satisfied(), InternalGroundASPSolver::satisfiesIndependently(), AssumptionBasedUnfoundedSetChecker::setAssumptions(), ExternalAtomMask::setEAtom(), CDNLSolver::setFact(), InternalGrounder::setToTrue(), PluginAtom::splitQuery(), CDNLSolver::startWatching(), CDNLSolver::stopWatching(), InternalGroundASPSolver::toString(), CDNLSolver::touchVarsInNogood(), CDNLSolver::unitPropagation(), ImmediateNogoodGrounder::update(), InternalGroundASPSolver::updateUnfoundedSetStructuresAfterSetFact(), CDNLSolver::updateWatchingStructuresAfterAddNogood(), CDNLSolver::updateWatchingStructuresAfterClearFact(), CDNLSolver::updateWatchingStructuresAfterRemoveNogood(), CDNLSolver::updateWatchingStructuresAfterSetFact(), InternalGroundASPSolver::useAsNewSourceForHeadAtom(), GenuineGuessAndCheckModelGenerator::verifyExternalAtom(), GenuineGuessAndCheckModelGeneratorAsync::verifyExternalAtom(), DependencyGraphFull::writeGraphVizNodeLabel(), and DependencyGraph::writeGraphVizNodeLabel().
const uint32_t ID::ALL_ONES = 0xFFFFFFFF [static] |
Definition at line 52 of file ID.h.
Referenced by InternalGrounder::applySubstitutionToOrdinaryAtom(), PluginAtom::generalizeNogood(), Nogood::match(), and InternalGrounder::matchNextFromExtensionOrdinary().
Definition at line 45 of file ID.h.
Referenced by InternalGrounder::applySubstitutionToOrdinaryAtom(), atomFromLiteral(), BOOST_AUTO_TEST_CASE(), DependencyGraph::createAuxiliaryRuleHead(), FLPModelGeneratorBase::createMinimalityRules(), doesRuleContainExtatoms(), doesRuleContainModatoms(), DLVHEX_NAMESPACE_BEGIN::hash_value(), isAggregateAtom(), isAnonymousVariable(), isAtom(), isAuxiliary(), isBuiltinAtom(), isBuiltinTerm(), isConstantTerm(), isConstraint(), isExternalAtom(), isExternalAuxiliary(), isExternalInputAuxiliary(), isHiddenAtom(), isIntegerTerm(), isLiteral(), isModuleAtom(), isNaf(), isOrdinaryAtom(), isOrdinaryGroundAtom(), isOrdinaryNongroundAtom(), isPredicateTerm(), isRegularRule(), isRule(), isRuleDisjunctive(), isTerm(), isVariableTerm(), isWeakConstraint(), isWeightRule(), ExternalLearningHelper::learnFromRule(), InternalGrounder::matchNextFromExtensionOrdinary(), nafLiteralFromAtom(), CDNLSolver::negation(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), operator!=(), operator&(), operator==(), operator|(), posLiteralFromAtom(), print(), Nogood::recomputeHash(), InternalGroundASPSolver::toString(), DependencyGraphFull::writeGraphVizNodeLabel(), and DependencyGraph::writeGraphVizNodeLabel().
const IDKind ID::MAINKIND_ATOM = 0x00000000 [static] |
Definition at line 63 of file ID.h.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), FLPModelGeneratorBase::addShadowInterpretation(), InternalGrounder::applySubstitutionToBuiltinAtom(), InternalGrounder::applySubstitutionToOrdinaryAtom(), atomFromLiteral(), BOOST_AUTO_TEST_CASE(), InternalGrounder::computeDepGraph(), FLPModelGeneratorBase::computeExtensionOfDomainPredicates(), InternalGrounder::computeGloballyNewAtom(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemCreateAuxAtoms(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), BaseModelGeneratorFactory::convertRuleBody(), DependencyGraphFull::createAuxiliaryRuleHead(), DependencyGraph::createAuxiliaryRuleHead(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createNewAtom(), InternalGrounder::getGroundProgramString(), InternalGrounder::getNongroundProgramString(), ExternalLearningHelper::getOutputAtom(), ExternalLearningHelper::getOutputAtoms(), InternalGrounder::groundStratum(), isAtom(), InternalGrounder::matchNextFromExtensionOrdinary(), ExternalLearningHelper::DefaultInputNogoodProvider::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()(), handle_fact::operator()(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::operator()(), sem< HexGrammarSemantics::classicalAtomFromTuple >::operator()(), sem< HexGrammarSemantics::builtinTernaryInfix >::operator()(), sem< HexGrammarSemantics::builtinBinaryInfix >::operator()(), sem< HexGrammarSemantics::builtinUnaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinBinaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinTernaryPrefix >::operator()(), sem< HexGrammarSemantics::aggregateAtom >::operator()(), sem< HexGrammarSemantics::externalAtom >::operator()(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), RawPrinter::print(), Interpretation::print(), Registry::printAtomForUser(), RawPrinter::printWithoutPrefix(), Interpretation::printWithoutPrefix(), TestSetMinusNogoodBasedLearningAtom::retrieve(), TestSetMinusRuleBasedLearningAtom::retrieve(), ComfortPluginAtom::retrieve(), GenPluginAtom1::retrieve(), TestNonmonAtom::retrieve(), TestNonmon2Atom::retrieve(), TestIdAtom::retrieve(), TestNegAtom::retrieve(), TestDisjAtom::retrieve(), MLPSolver::rewrite(), PluginAtom::splitQuery(), GenuineGuessAndCheckModelGenerator::verifyExternalAtom(), and GenuineGuessAndCheckModelGeneratorAsync::verifyExternalAtom().
const IDKind ID::MAINKIND_LITERAL = 0x20000000 [static] |
Definition at line 65 of file ID.h.
Referenced by InternalGrounder::buildGroundInstance(), NogoodContainer::createLiteral(), FLPModelGeneratorBase::createMinimalityRules(), isLiteral(), ExternalLearningHelper::learnFromRule(), nafLiteralFromAtom(), posLiteralFromAtom(), and RawPrinter::print().
const IDKind ID::MAINKIND_MASK = 0x70000000 [static] |
Definition at line 55 of file ID.h.
Referenced by InternalGrounder::applySubstitutionToOrdinaryAtom(), atomFromLiteral(), isAtom(), isLiteral(), isRule(), isTerm(), InternalGrounder::matchNextFromExtensionOrdinary(), RawPrinter::print(), print(), and RawPrinter::printWithoutPrefix().
const IDKind ID::MAINKIND_RULE = 0x30000000 [static] |
Definition at line 66 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::buildGroundInstance(), DependencyGraphFull::createAuxiliaryRule(), DependencyGraph::createAuxiliaryRule(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createShiftedProgram(), isRule(), ExternalLearningHelper::learnFromRule(), sem< HexGrammarSemantics::rule >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), sem< HexGrammarSemantics::weakconstraint >::operator()(), and RawPrinter::print().
const uint8_t ID::MAINKIND_SHIFT = 28 [static] |
const IDKind ID::MAINKIND_TERM = 0x10000000 [static] |
Definition at line 64 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::computeGloballyNewAtom(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), FLPModelGeneratorBase::createMinimalityRules(), Registry::getAuxiliaryConstantSymbol(), Registry::getNewConstantTerm(), isTerm(), ExternalLearningHelper::learnFromRule(), sem< HexGrammarSemantics::termFromCIdent >::operator()(), sem< HexGrammarSemantics::termFromString >::operator()(), sem< HexGrammarSemantics::termFromVariable >::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< HexGrammarSemantics::predFromPredDecl >::operator()(), sem< HexGrammarSemantics::predFromNameOnly >::operator()(), sem< HexGrammarSemantics::predFromString >::operator()(), RawPrinter::print(), TestConcatAtom::retrieve(), TestCycleAtom::retrieve(), TestAppendAtom::retrieve(), PluginAtom::setRegistry(), Registry::storeConstantTerm(), storePredicate(), Registry::storeVariableTerm(), termFromBuiltin(), termFromInteger(), and PredicateMask::updateMask().
const IDKind ID::NAF_MASK = 0x80000000 [static] |
Definition at line 54 of file ID.h.
Referenced by atomFromLiteral(), InternalGrounder::buildGroundInstance(), NogoodContainer::createLiteral(), FLPModelGeneratorBase::createMinimalityRules(), isNaf(), ExternalLearningHelper::learnFromRule(), InternalGrounder::matchNextFromExtensionOrdinary(), nafLiteralFromAtom(), CDNLSolver::negation(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), print(), AssumptionBasedUnfoundedSetChecker::setAssumptions(), and InternalGroundASPSolver::toString().
const IDKind ID::PROPERTY_ATOM_HIDDEN = 0x00010000 [static] |
Definition at line 88 of file ID.h.
Referenced by AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemCreateAuxAtoms(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), and isHiddenAtom().
const IDKind ID::PROPERTY_AUX = 0x00800000 [static] |
Definition at line 96 of file ID.h.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), FLPModelGeneratorBase::computeExtensionOfDomainPredicates(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemCreateAuxAtoms(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), BaseModelGeneratorFactory::convertRule(), BaseModelGeneratorFactory::convertRuleBody(), DependencyGraphFull::createAuxiliaryRule(), DependencyGraph::createAuxiliaryRule(), DependencyGraphFull::createAuxiliaryRuleHead(), DependencyGraph::createAuxiliaryRuleHead(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), Registry::getAuxiliaryConstantSymbol(), ExternalLearningHelper::getOutputAtom(), ExternalLearningHelper::getOutputAtoms(), isAuxiliary(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()(), handle_fact::operator()(), Registry::printAtomForUser(), OrdinaryAtomTable::storeAndGetID(), Registry::storeConstantTerm(), and Registry::storeVariableTerm().
const IDKind ID::PROPERTY_EXTERNALAUX = 0x00400000 [static] |
Definition at line 97 of file ID.h.
Referenced by FLPModelGeneratorFactoryBase::createEatomGuessingRules(), Registry::getAuxiliaryConstantSymbol(), ExternalLearningHelper::getOutputAtom(), ExternalLearningHelper::getOutputAtoms(), and isExternalAuxiliary().
const IDKind ID::PROPERTY_EXTERNALINPUTAUX = 0x00200000 [static] |
Definition at line 99 of file ID.h.
Referenced by DependencyGraph::createAuxiliaryRuleHead(), Registry::getAuxiliaryConstantSymbol(), and isExternalInputAuxiliary().
const IDKind ID::PROPERTY_MASK = 0x00FF0000 [static] |
const IDKind ID::PROPERTY_RULE_DISJ = 0x00100000 [static] |
Definition at line 93 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::buildGroundInstance(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), isRuleDisjunctive(), and sem< HexGrammarSemantics::rule >::operator()().
const IDKind ID::PROPERTY_RULE_EXTATOMS = 0x00080000 [static] |
Definition at line 92 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), DependencyGraph::createAuxiliaryRule(), doesRuleContainExtatoms(), and HexGrammarSemantics::markExternalPropertyIfExternalBody().
const IDKind ID::PROPERTY_RULE_MODATOMS = 0x00400000 [static] |
Definition at line 94 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), doesRuleContainModatoms(), and HexGrammarSemantics::markModulePropertyIfModuleBody().
const IDKind ID::PROPERTY_RULE_UNMODATOMS = 0xFFBFFFFF [static] |
Definition at line 95 of file ID.h.
Referenced by MLPSolver::replacedModuleAtoms().
const uint8_t ID::PROPERTY_SHIFT = 16 [static] |
const IDKind ID::PROPERTY_VAR_ANONYMOUS = 0x00010000 [static] |
Definition at line 91 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), isAnonymousVariable(), and sem< HexGrammarSemantics::termFromVariable >::operator()().
const IDKind ID::SUBKIND_ATOM_AGGREGATE = 0x03000000 [static] |
Definition at line 77 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), isAggregateAtom(), sem< HexGrammarSemantics::aggregateAtom >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_ATOM_BUILTIN = 0x02000000 [static] |
Definition at line 76 of file ID.h.
Referenced by InternalGrounder::applySubstitutionToBuiltinAtom(), BOOST_AUTO_TEST_CASE(), isBuiltinAtom(), isOrdinaryAtom(), sem< HexGrammarSemantics::builtinTernaryInfix >::operator()(), sem< HexGrammarSemantics::builtinBinaryInfix >::operator()(), sem< HexGrammarSemantics::builtinUnaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinBinaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinTernaryPrefix >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_ATOM_EXTERNAL = 0x06000000 [static] |
Definition at line 79 of file ID.h.
Referenced by isExternalAtom(), sem< HexGrammarSemantics::externalAtom >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_ATOM_MODULE = 0x0A000000 [static] |
Definition at line 80 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), isModuleAtom(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_ATOM_ORDINARYG = 0x00000000 [static] |
Definition at line 74 of file ID.h.
Referenced by FLPModelGeneratorBase::addShadowInterpretation(), InternalGrounder::applySubstitutionToOrdinaryAtom(), BOOST_AUTO_TEST_CASE(), InternalGrounder::buildGroundInstance(), InternalGrounder::computeDepGraph(), InternalGrounder::computeGloballyNewAtom(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemCreateAuxAtoms(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), NogoodContainer::createLiteral(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createNewAtom(), InternalGrounder::getGroundProgramString(), InternalGrounder::getNongroundProgramString(), ExternalLearningHelper::getOutputAtom(), ExternalLearningHelper::getOutputAtoms(), InternalGrounder::groundStratum(), ExternalLearningHelper::learnFromRule(), Nogood::match(), ExternalLearningHelper::DefaultInputNogoodProvider::operator()(), Interpretation::print(), RawPrinter::print(), Registry::printAtomForUser(), Interpretation::printWithoutPrefix(), RawPrinter::printWithoutPrefix(), TestSetMinusNogoodBasedLearningAtom::retrieve(), TestSetMinusRuleBasedLearningAtom::retrieve(), ComfortPluginAtom::retrieve(), GenPluginAtom1::retrieve(), TestNonmonAtom::retrieve(), TestNonmon2Atom::retrieve(), TestIdAtom::retrieve(), TestNegAtom::retrieve(), TestDisjAtom::retrieve(), MLPSolver::rewrite(), PluginAtom::splitQuery(), Registry::storeOrdinaryAtom(), GenuineGuessAndCheckModelGenerator::verifyExternalAtom(), and GenuineGuessAndCheckModelGeneratorAsync::verifyExternalAtom().
const IDKind ID::SUBKIND_ATOM_ORDINARYN = 0x01000000 [static] |
Definition at line 75 of file ID.h.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesWhereNecessary(), InternalGrounder::applySubstitutionToOrdinaryAtom(), BOOST_AUTO_TEST_CASE(), FLPModelGeneratorBase::computeExtensionOfDomainPredicates(), BaseModelGeneratorFactory::convertRuleBody(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), DependencyGraphFull::createAuxiliaryRuleHead(), DependencyGraph::createAuxiliaryRuleHead(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), NogoodContainer::createLiteral(), FLPModelGeneratorBase::createMinimalityRules(), PluginAtom::generalizeNogood(), isOrdinaryNongroundAtom(), ExternalLearningHelper::learnFromRule(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), RawPrinter::print(), and GenPluginAtom1::retrieve().
const IDKind ID::SUBKIND_MASK = 0x0F000000 [static] |
Definition at line 57 of file ID.h.
Referenced by InternalGrounder::applySubstitutionToOrdinaryAtom(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), FLPModelGeneratorBase::createMinimalityRules(), PluginAtom::generalizeNogood(), isAggregateAtom(), isBuiltinAtom(), isBuiltinTerm(), isConstantTerm(), isConstraint(), isExternalAtom(), isIntegerTerm(), isModuleAtom(), isOrdinaryGroundAtom(), isOrdinaryNongroundAtom(), isPredicateTerm(), isRegularRule(), isVariableTerm(), isWeakConstraint(), isWeightRule(), Nogood::match(), RawPrinter::print(), print(), RawPrinter::printWithoutPrefix(), and Registry::storeOrdinaryAtom().
const IDKind ID::SUBKIND_RULE_CONSTRAINT = 0x01000000 [static] |
Definition at line 83 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::buildGroundInstance(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createMinimalityRules(), isConstraint(), sem< HexGrammarSemantics::constraint >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_RULE_REGULAR = 0x00000000 [static] |
Definition at line 82 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::buildGroundInstance(), DependencyGraphFull::createAuxiliaryRule(), DependencyGraph::createAuxiliaryRule(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createShiftedProgram(), isRegularRule(), ExternalLearningHelper::learnFromRule(), sem< HexGrammarSemantics::rule >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_RULE_WEAKCONSTRAINT = 0x02000000 [static] |
Definition at line 84 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), isWeakConstraint(), sem< HexGrammarSemantics::weakconstraint >::operator()(), and RawPrinter::print().
const IDKind ID::SUBKIND_RULE_WEIGHT = 0x03000000 [static] |
Definition at line 85 of file ID.h.
Referenced by isWeightRule(), and RawPrinter::print().
const uint8_t ID::SUBKIND_SHIFT = 24 [static] |
Definition at line 58 of file ID.h.
Referenced by print(), DependencyGraphFull::writeGraphVizNodeLabel(), and DependencyGraph::writeGraphVizNodeLabel().
const IDKind ID::SUBKIND_TERM_BUILTIN = 0x03000000 [static] |
Definition at line 71 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), isBuiltinTerm(), RawPrinter::print(), and termFromBuiltin().
const IDKind ID::SUBKIND_TERM_CONSTANT = 0x00000000 [static] |
Definition at line 68 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), InternalGrounder::computeGloballyNewAtom(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), FLPModelGeneratorBase::createMinimalityRules(), Registry::getAuxiliaryConstantSymbol(), Registry::getNewConstantTerm(), isConstantTerm(), ExternalLearningHelper::learnFromRule(), sem< HexGrammarSemantics::termFromCIdent >::operator()(), sem< HexGrammarSemantics::termFromString >::operator()(), sem< HexGrammarSemantics::predFromNameOnly >::operator()(), sem< HexGrammarSemantics::predFromString >::operator()(), RawPrinter::print(), TestConcatAtom::retrieve(), TestCycleAtom::retrieve(), TestAppendAtom::retrieve(), PluginAtom::setRegistry(), Registry::storeConstantTerm(), Registry::storeTerm(), and PredicateMask::updateMask().
const IDKind ID::SUBKIND_TERM_INTEGER = 0x01000000 [static] |
Definition at line 69 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), isIntegerTerm(), RawPrinter::print(), and termFromInteger().
const IDKind ID::SUBKIND_TERM_PREDICATE = 0x04000000 [static] |
Definition at line 72 of file ID.h.
Referenced by isPredicateTerm(), sem< HexGrammarSemantics::predFromPredDecl >::operator()(), RawPrinter::print(), and storePredicate().
const IDKind ID::SUBKIND_TERM_VARIABLE = 0x02000000 [static] |
Definition at line 70 of file ID.h.
Referenced by BOOST_AUTO_TEST_CASE(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), isVariableTerm(), sem< HexGrammarSemantics::termFromVariable >::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), RawPrinter::print(), Registry::storeTerm(), and Registry::storeVariableTerm().
const IDKind ID::UNUSED_MASK = 0x0000FFFF [static] |
The documentation for this struct was generated from the following files:
