dlvhex  2.5.0
Public Member Functions
sem< FunctionParserModuleAtomSemantics::functionTermEval > Struct Template Reference

Public Member Functions

void operator() (FunctionParserModuleAtomSemantics &mgr, const boost::fusion::vector4< dlvhex::ID, dlvhex::ID, boost::optional< boost::optional< dlvhex::Tuple > >, boost::optional< boost::optional< std::vector< std::vector< std::string > > > > > &source, ID &target)

Detailed Description

template<>
struct sem< FunctionParserModuleAtomSemantics::functionTermEval >

Definition at line 597 of file FunctionPlugin.cpp.

Member Function Documentation

void sem< FunctionParserModuleAtomSemantics::functionTermEval >::operator() ( FunctionParserModuleAtomSemantics &  mgr,
const boost::fusion::vector4< dlvhex::ID, dlvhex::ID, boost::optional< boost::optional< dlvhex::Tuple > >, boost::optional< boost::optional< std::vector< std::vector< std::string > > > > > &  source,
ID &  target 
) [inline]

Definition at line 599 of file FunctionPlugin.cpp.

References HexGrammarSemantics::ctx, ExternalAtom::inputs, ExtSourceProperties::interpretProperties(), ID::MAINKIND_ATOM, ID::MAINKIND_TERM, ExternalAtom::predicate, ExternalAtom::prop, ProgramCtx::registry(), ID::SUBKIND_ATOM_EXTERNAL, ID::SUBKIND_TERM_CONSTANT, and Atom::tuple.

The documentation for this struct was generated from the following file: