include/dlvhex2/ID.h File Reference

Header to help using and debugging within the ID concept. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/Printhelpers.h"

Include dependency graph for ID.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	ID
	IDs are used to identify several types of objects in HEX-program evaluation. More...
Typedefs
typedef uint32_t	IDAddress
typedef std::vector< ID >	Tuple
Functions
DLVHEX_EXPORT std::size_t	hash_value (const ID &id)
const ID	ID_FAIL (ID::ALL_ONES, ID::ALL_ONES)
Variables
DLVHEX_NAMESPACE_BEGIN typedef uint32_t	IDKind

---

Detailed Description

Header to help using and debugging within the ID concept.

Author:

Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file ID.h.

---

Typedef Documentation

typedef uint32_t IDAddress

Definition at line 43 of file ID.h.

typedef std::vector<ID> Tuple

Definition at line 570 of file ID.h.

---

Function Documentation

DLVHEX_EXPORT std::size_t hash_value

(

const ID &

id

)

Definition at line 44 of file ID.cpp.

Referenced by Interpretation::getHash().

const ID ID_FAIL	(	ID::ALL_ONES	,
		ID::ALL_ONES
	)

Referenced by SimpleNogoodContainer::addAllResolvents(), BaseModelGeneratorFactory::addDomainPredicatesAndCreateDomainExplorationProgram(), ExternalAtomVerificationTree::addNogood(), CDNLSolver::analysis(), Term::analyzeTerm(), InternalGrounder::applySubstitutionToAtom(), BOOST_AUTO_TEST_CASE(), DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build(), BaseModelGenerator::buildEAtomInputTuples(), InternalGrounder::buildGroundInstance(), SafetyChecker::checkSafety(), BaseModelGeneratorFactory::convertRuleBody(), FLPModelGeneratorFactoryBase::createEatomGuessingRule(), FLPModelGeneratorFactoryBase::createFLPRules(), InternalGroundASPSolver::createShiftedProgram(), ExternalAtomEvaluationHeuristicsInputComplete::doEvaluate(), LiberalSafetyChecker::ensureOrdinarySafety(), BaseModelGenerator::evaluateExternalAtom(), BaseModelGenerator::evaluateExternalAtomQuery(), GenuineGuessAndCheckModelGenerator::generalizeNogood(), PluginAtom::generalizeNogood(), LiberalSafetyChecker::getAttribute(), Registry::getAuxiliaryConstantSymbol(), Registry::getAuxiliaryVariableSymbol(), CDNLSolver::getGuess(), Registry::getIDByAuxiliaryConstantSymbol(), Registry::getIDByAuxiliaryVariableSymbol(), ModuleAtomTable::getIDByElement(), RuleTable::getIDByElement(), TermTable::getIDByString(), PredicateTable::getIDByString(), OrdinaryAtomTable::getIDByString(), OrdinaryAtomTable::getIDByTuple(), ExternalLearningHelper::getIDOfLearningRule(), InternalGroundASPSolver::getInconsistencyCause(), Registry::getNewConstantTerm(), ExternalLearningHelper::getOutputAtom(), ExternalLearningHelper::getOutputAtoms(), InternalGroundASPSolver::getPossibleSourceRule(), InternalGrounder::getPredicateOfAtom(), Registry::getPredicateOfAtom(), InternalGroundASPSolver::getUnfoundedSet(), InternalGroundASPSolver::initSourcePointers(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), ExtSourceProperties::interpretProperties(), Term::isNestedTerm(), ExternalLearningHelper::learnFromNegativeAtoms(), GenuineGuessAndCheckModelGenerator::learnSupportSets(), BaseModelGenerator::learnSupportSetsForExternalAtom(), ExternalAtomMask::matchOutputAtom(), sem< HexGrammarSemantics::termFromCIdent >::operator()(), sem< HexGrammarSemantics::termFromFunctionTerm >::operator()(), sem< HexGrammarSemantics::termFromRange >::operator()(), sem< HexGrammarSemantics::termFromString >::operator()(), sem< HexGrammarSemantics::termFromVariable >::operator()(), sem< ConditionalParserModuleSemantics::conditionalLieral >::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< ChoiceParserModuleSemantics::choiceRule >::operator()(), sem< HexGrammarSemantics::predFromPredDecl >::operator()(), sem< ChoiceParserModuleSemantics::choiceHead >::operator()(), sem< HexGrammarSemantics::predFromNameOnly >::operator()(), handle_fact::operator()(), sem< HexGrammarSemantics::predFromString >::operator()(), sem< HexGrammarSemantics::aggregateAtom >::operator()(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), sem< HexGrammarSemantics::weakconstraint >::operator()(), sem< HexGrammarSemantics::weakconstraintaspcore2 >::operator()(), sem< HexGrammarSemantics::add >::operator()(), sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >::operator()(), BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::output(), RawPrinter::print(), Rule::print(), ExternalAtom::print(), ID::print(), InternalGroundASPSolver::removeSourceFromAtom(), Registry::replaceVariablesInTerm(), FunctionComposeAtom::retrieve(), FunctionInterprete::retrieve(), SenseNotArmed2PluginAtom::retrieve(), GenPluginAtom2::retrieve(), TestSetMinusRuleBasedLearningAtom::retrieve(), TestCycleAtom::retrieve(), PluginAtom::retrieveFacade(), ExternalAtomMask::setEAtom(), PluginAtom::setRegistry(), PluginAtom::splitQuery(), Registry::storeConstantTerm(), Registry::storeConstOrVarTerm(), storePredicate(), Registry::storeRule(), Registry::storeVariableTerm(), Term::Term(), ID::termFromBuiltinString(), ExternalAtomVerificationTree::toString(), OrdinaryAtom::unifiesWith(), ImmediateNogoodGrounder::update(), LazyNogoodGrounder::update(), ExternalAtom::updatePredicateInputMask(), and AnnotatedGroundProgram::verifyExternalAtomsUsingCompleteSupportSets().

---

Variable Documentation

DLVHEX_NAMESPACE_BEGIN typedef uint32_t IDKind

Definition at line 42 of file ID.h.

Referenced by InternalGrounder::applySubstitutionToOrdinaryAtom(), InternalGrounder::buildGroundInstance(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), FLPModelGeneratorFactoryBase::createFLPRules(), sem< HexGrammarSemantics::termFromVariable >::operator()(), and AnnotatedGroundProgram::verifyExternalAtomsUsingCompleteSupportSets().