dlvhex
2.5.0
|
Public Member Functions | |
void | operator() (HexGrammarSemantics &mgr, const boost::fusion::vector4< ID, boost::optional< boost::optional< std::vector< ID > > >, boost::optional< boost::optional< std::vector< ID > > >, boost::optional< boost::optional< std::vector< std::vector< std::string > > > > > &source, ID &target) |
Definition at line 533 of file HexGrammar.tcc.
void sem< HexGrammarSemantics::externalAtom >::operator() | ( | HexGrammarSemantics & | mgr, |
const boost::fusion::vector4< ID, boost::optional< boost::optional< std::vector< ID > > >, boost::optional< boost::optional< std::vector< ID > > >, boost::optional< boost::optional< std::vector< std::vector< std::string > > > > > & | source, | ||
ID & | target | ||
) | [inline] |
Definition at line 535 of file HexGrammar.tcc.
References HexGrammarSemantics::ctx, DBGLOG, ExternalAtom::inputs, ExtSourceProperties::interpretProperties(), ID::MAINKIND_ATOM, ExternalAtom::predicate, ExternalAtom::prop, ProgramCtx::registry(), ID::SUBKIND_ATOM_EXTERNAL, and Atom::tuple.