dlvhex
2.5.0
|
Public Member Functions | |
void | operator() (HexGrammarSemantics &mgr, const boost::fusion::vector2< const std::string &, unsigned int > &source, ID &target) |
Definition at line 205 of file HexGrammar.tcc.
void sem< HexGrammarSemantics::predFromPredDecl >::operator() | ( | HexGrammarSemantics & | mgr, |
const boost::fusion::vector2< const std::string &, unsigned int > & | source, | ||
ID & | target | ||
) | [inline] |
Definition at line 207 of file HexGrammar.tcc.
References HexGrammarSemantics::ctx, HexGrammarSemantics::currentModuleName, DBGLOG, ID_FAIL(), ID::MAINKIND_TERM, MODULEPREFIXSEPARATOR, ProgramCtx::registry(), and ID::SUBKIND_TERM_PREDICATE.