include/dlvhex2/ID.h File Reference

Header to help using and debugging within the ID concept (see /ID-Concept.txt) 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
Typedefs
typedef uint32_t	IDAddress
typedef std::vector< ID >	Tuple
Functions
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 (see /ID-Concept.txt)

Author:

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

Definition in file ID.h.

---

Typedef Documentation

typedef uint32_t IDAddress

Definition at line 40 of file ID.h.

typedef std::vector<ID> Tuple

Definition at line 195 of file ID.h.

---

Function Documentation

std::size_t hash_value

(

const ID &

id

)

Definition at line 12 of file ID.cpp.

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

Referenced by CDNLSolver::analysis(), MLPSolver::assignFin(), BOOST_AUTO_TEST_CASE(), BaseModelGenerator::buildEAtomInputTuples(), InternalGrounder::buildGroundInstance(), MLPSolver::comp(), MLPSolver::containFin(), InternalGroundASPSolver::createShiftedProgram(), GenuineGuessAndCheckModelGenerator::generalizeNogood(), GenuineGuessAndCheckModelGeneratorAsync::generalizeNogood(), PluginAtom::generalizeNogood(), Registry::getAuxiliaryConstantSymbol(), FLPModelGeneratorBase::getFixpoint(), CDNLSolver::getGuess(), Registry::getIDByAuxiliaryConstantSymbol(), RuleTable::getIDByElement(), ModuleAtomTable::getIDByElement(), PredicateTable::getIDByString(), TermTable::getIDByString(), OrdinaryAtomTable::getIDByString(), OrdinaryAtomTable::getIDByTuple(), ExternalLearningHelper::getIDOfLearningRule(), MLPSolver::getInstIndexOfRule(), Registry::getNewConstantTerm(), InternalGroundASPSolver::getPossibleSourceRule(), InternalGrounder::getPredicateOfAtom(), MLPSolver::getPredIDFromAtomID(), InternalGroundASPSolver::getUnfoundedSet(), GenuineGuessAndCheckModelGenerator::getWatchedLiteral(), GenuineGuessAndCheckModelGeneratorAsync::getWatchedLiteral(), InternalGroundASPSolver::initSourcePointers(), sem< HexGrammarSemantics::externalAtom >::interpretProperties(), ExternalAtomMask::matchOutputAtom(), 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()(), handle_fact::operator()(), sem< HexGrammarSemantics::aggregateAtom >::operator()(), sem< HexGrammarSemantics::extSourceProperty >::operator()(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), sem< HexGrammarSemantics::weakconstraint >::operator()(), sem< HexGrammarSemantics::add >::operator()(), sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >::operator()(), FLPModelGeneratorBase::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::output(), RawPrinter::print(), Rule::print(), ID::print(), MLPSolver::printA(), InternalGroundASPSolver::removeSourceFromAtom(), MLPSolver::replacedModuleAtoms(), MLPSolver::restrictionAndRenaming(), SenseNotArmed2PluginAtom::retrieve(), TestSetMinusRuleBasedLearningAtom::retrieve(), GenPluginAtom2::retrieve(), TestCycleAtom::retrieve(), MLPSolver::rewrite(), MLPSolver::rewriteModuleAtom(), MLPSolver::rewriteOrdinaryAtom(), MLPSolver::rewritePredicate(), ExternalAtomMask::setEAtom(), PluginAtom::setRegistry(), MLPSolver::smallestILL(), Registry::storeConstantTerm(), Registry::storeConstOrVarTerm(), storePredicate(), Registry::storeRule(), Registry::storeVariableTerm(), ID::termFromBuiltinString(), ImmediateNogoodGrounder::update(), LazyNogoodGrounder::update(), GenuineGuessAndCheckModelGenerator::verifyExternalAtoms(), and GenuineGuessAndCheckModelGeneratorAsync::verifyExternalAtoms().

---

Variable Documentation

DLVHEX_NAMESPACE_BEGIN typedef uint32_t IDKind

Definition at line 39 of file ID.h.

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