dlvhex
2.5.0
|
Public Member Functions | |
void | createAtom (RegistryPtr reg, OrdinaryAtom &atom, ID &target) |
void | operator() (StrongNegationParserModuleSemantics &mgr, const boost::fusion::vector2< dlvhex::ID, boost::optional< boost::optional< std::vector< dlvhex::ID > > > > &source, ID &target) |
Definition at line 160 of file StrongNegationPlugin.cpp.
void sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom | ( | RegistryPtr | reg, |
OrdinaryAtom & | atom, | ||
ID & | target | ||
) | [inline] |
Definition at line 162 of file StrongNegationPlugin.cpp.
References DBGLOG, IDKind, Atom::kind, printrange(), ID::SUBKIND_ATOM_ORDINARYG, ID::SUBKIND_ATOM_ORDINARYN, ID::SUBKIND_MASK, ID::SUBKIND_TERM_BUILTIN, ID::SUBKIND_TERM_VARIABLE, and Atom::tuple.
void sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator() | ( | StrongNegationParserModuleSemantics & | mgr, |
const boost::fusion::vector2< dlvhex::ID, boost::optional< boost::optional< std::vector< dlvhex::ID > > > > & | source, | ||
ID & | target | ||
) | [inline] |
Definition at line 184 of file StrongNegationPlugin.cpp.
References HexGrammarSemantics::ctx, StrongNegationParserModuleSemantics::ctxdata, DBGLOG, ID::MAINKIND_ATOM, StrongNegationPlugin::CtxData::negPredicateArities, StrongNegationPlugin::CtxData::negToPos, ID::PROPERTY_AUX, ProgramCtx::registry(), and Atom::tuple.