Base class for all atoms. More...
#include <include/dlvhex2/Atoms.h>
Public Member Functions | |
| ID | front () const |
Data Fields | |
| IDKind | kind |
| The kind part of the ID of this atom. | |
| Tuple | tuple |
| The ID representation of the main tuple of this atom (for builtin and ordinary atoms, the main tuple is the only content) (aggregate atoms add an "inner tuple" for the aggregate conditions) (external atoms add an "input tuple" for the inputs). | |
Protected Member Functions | |
| Atom (IDKind kind) | |
| Atom should not be used directly, so no public constructor. | |
| Atom (IDKind kind, const Tuple &tuple) | |
| Atom should not be used directly, so no public constructor. | |
Detailed Description
Constructor & Destructor Documentation
| Atom::Atom | ( | IDKind | kind | ) | [inline, protected] |
Atom should not be used directly, so no public constructor.
- Parameters:
-
kind See Atom::kind.
| Atom::Atom | ( | IDKind | kind, |
| const Tuple & | tuple | ||
| ) | [inline, protected] |
Atom should not be used directly, so no public constructor.
- Parameters:
-
kind See Atom::kind. tuple See Atom::tuple.
Member Function Documentation
| ID Atom::front | ( | ) | const [inline] |
Definition at line 67 of file Atoms.h.
Referenced by InternalGrounder::addDerivableAtom(), InternalGrounder::buildGroundInstance(), InternalGrounder::getPredicateOfAtom(), InternalGrounder::getStratumOfRule(), and InternalGrounder::matchNextFromExtensionOrdinary().
Field Documentation
The kind part of the ID of this atom.
Definition at line 58 of file Atoms.h.
Referenced by BOOST_AUTO_TEST_CASE(), BaseModelGeneratorFactory::convertRuleBody(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), FLPModelGeneratorFactoryBase::createEatomGuessingRule(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), FLPModelGeneratorBase::createMinimalityRules(), PluginAtom::generalizeNogood(), Registry::getAuxiliaryAtom(), OrdinaryAtomTable::getIDByAddress(), ExternalLearningHelper::getOutputAtom(), Nogood::match(), handle_fact::operator()(), sem< ChoiceParserModuleSemantics::choiceElement >::operator()(), GenuineGuessAndCheckModelGenerator::replacePredForInlinedEAs(), FunctionRewriter::rewrite(), and Registry::storeOrdinaryAtom().
The ID representation of the main tuple of this atom (for builtin and ordinary atoms, the main tuple is the only content) (aggregate atoms add an "inner tuple" for the aggregate conditions) (external atoms add an "input tuple" for the inputs).
Definition at line 64 of file Atoms.h.
Referenced by SimpleNogoodContainer::addAllResolvents(), LiberalSafetyChecker::addBoundedVariable(), LiberalSafetyChecker::addDomainExpansionSafeAttribute(), BaseModelGeneratorFactory::addDomainPredicatesAndCreateDomainExplorationProgram(), ExternalAtomMask::addOutputAtoms(), FLPModelGeneratorBase::addShadowInterpretation(), TestCautiousQueryAtom::answerQuery(), TestBraveQueryAtom::answerQuery(), InternalGrounder::applySubstitutionToBuiltinAtom(), InternalGrounder::applySubstitutionToOrdinaryAtom(), Nogood::applyVariableSubstitution(), InternalGrounder::biDependency(), BOOST_AUTO_TEST_CASE(), DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build(), ComponentGraph::calculateFixedDomain(), ComponentGraph::calculateStratificationInfo(), FunctionRewriter::composeTerm(), AnnotatedGroundProgram::computeAdditionalDependencies(), AnnotatedGroundProgram::computeAtomDependencyGraph(), LiberalSafetyChecker::computeBuiltinInformationFlow(), BaseModelGenerator::computeExtensionOfDomainPredicates(), InternalGrounder::computeGloballyNewAtom(), ComponentGraph::computeRecursiveAggregatesInComponent(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), AnswerSet::computeWeightVector(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemAndInstantiateSolver(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemCreateAuxAtoms(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), BaseModelGeneratorFactory::convertRuleBody(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), DependencyGraph::createAuxiliaryRuleHead(), DependencyGraph::createAuxiliaryRuleIfRequired(), LiberalSafetyChecker::createDependencyGraph(), FLPModelGeneratorFactoryBase::createEatomGuessingRule(), DependencyGraph::createExternalPredicateInputDependencies(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createNewAtom(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead(), LiberalSafetyChecker::createPreconditionsAndLocationIndices(), FunctionRewriter::decomposeTerm(), LiberalSafetyChecker::ensureOrdinarySafety(), BaseModelGenerator::evaluateExternalAtom(), BaseModelGenerator::evaluateExternalAtomQuery(), OrdinaryAtom::existsHomomorphism(), AssumptionBasedUnfoundedSetChecker::expandUFSDetectionProblemAndReinstantiateSolver(), PluginAtom::generalizeNogood(), Registry::getAuxiliaryAtom(), ExternalLearningHelper::getIDOfLearningRule(), ExternalLearningHelper::getOutputAtom(), ExternalLearningHelper::getOutputAtoms(), Registry::getOutVariablesInID(), Registry::getPredicateOfAtom(), Registry::getVariablesInID(), Nogood::heuristicNormalization(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), ExtSourceProperties::interpretProperties(), ExternalLearningHelper::learnFromGroundRule(), ExternalLearningHelper::learnFromNegativeAtoms(), ExternalLearningHelper::learnFromRule(), BaseModelGenerator::learnSupportSetsForExternalAtom(), Nogood::match(), InternalGrounder::matchBuiltin(), InternalGrounder::matchNextFromExtensionBuiltin(), InternalGrounder::matchNextFromExtensionBuiltinBinary(), InternalGrounder::matchNextFromExtensionBuiltinTernary(), InternalGrounder::matchNextFromExtensionBuiltinUnary(), InternalGrounder::matchOrdinary(), ExternalAtomMask::matchOutputAtom(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), BaseModelGenerator::VerifyExternalAtomCB::onlyNegativeAuxiliaries(), CSVAnswerSetPrinterCallback::operator()(), StrongSafetyChecker::operator()(), sem< ConditionalParserModuleSemantics::conditionalLieral >::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()(), sem< ChoiceParserModuleSemantics::choiceHead >::operator()(), handle_fact::operator()(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::operator()(), sem< ChoiceParserModuleSemantics::choiceElement >::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< FunctionParserModuleTermSemantics::functionTermConstruct >::operator()(), sem< FunctionParserModuleAtomSemantics::functionTermEval >::operator()(), InternalGrounder::preprocessRule(), RawPrinter::print(), ExternalAtom::print(), GenuineGuessAndCheckModelGenerator::replacePredForInlinedEAs(), GenPluginAtom1::retrieve(), ComfortPluginAtom::retrieve(), TestMoveAtom::retrieve(), TestSetMinusNonComfortAtom::retrieve(), TestSetMinusPartialAtom::retrieve(), TestSetMinusNogoodBasedLearningAtom::retrieve(), TestSetMinusNongroundNogoodBasedLearningAtom::retrieve(), TestSetMinusRuleBasedLearningAtom::retrieve(), TestNonmonAtom::retrieve(), TestNonmon2Atom::retrieve(), TestIdAtom::retrieve(), TestIdpAtom::retrieve(), TestNegAtom::retrieve(), TestTransitiveClosureAtom::retrieve(), TestCycleAtom::retrieve(), TestDisjAtom::retrieve(), TestHashAtom::retrieve(), TestReachableAtom::retrieve(), TestDLSimulatorAtom::retrieve(), TestPlugin::TestSetUnionAtom::retrieve(), TestPlugin::TestGen2Atom::retrieve(), TestPlugin::TestIsEmpty::retrieve(), TestPlugin::TestNumberOfBalls::retrieve(), TestPlugin::TestNumberOfBallsSE::retrieve(), TestPlugin::TestNumberOfBallsGE::retrieve(), TestPlugin::SumNonZeroAtom::retrieve(), TestPlugin::ProductionRequirementsAtom::retrieve(), TestASPQueryAtom::retrieveOrLearnSupportSets(), FunctionRewriter::rewrite(), DLVHEX_NAMESPACE_BEGIN::FinitenessChecker::run(), DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker::run(), DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker::run(), ExternalAtomMask::setEAtom(), PluginAtom::splitQuery(), OrdinaryAtom::unifiesWith(), ImmediateNogoodGrounder::update(), LazyNogoodGrounder::update(), PredicateMask::updateMask(), ExternalAtomMask::updateMask(), BaseModelGenerator::verifyEAtomAnswerTuple(), BaseModelGenerator::VerifyExternalAtomCB::VerifyExternalAtomCB(), and MLPSyntaxChecker::verifyPredOutputArityModuleCall().
The documentation for this struct was generated from the following file:
- include/dlvhex2/Atoms.h
