sem< FunctionParserModuleTermSemantics::functionTermConstruct > Struct Template Reference

Public Member Functions
void	operator() (FunctionParserModuleTermSemantics &mgr, const boost::fusion::vector3< dlvhex::ID, dlvhex::ID, boost::optional< dlvhex::Tuple > > &source, ID &target)

---

Detailed Description

template<>
struct sem< FunctionParserModuleTermSemantics::functionTermConstruct >

Definition at line 543 of file FunctionPlugin.cpp.

---

Member Function Documentation

void sem< FunctionParserModuleTermSemantics::functionTermConstruct >::operator()	(	FunctionParserModuleTermSemantics &	mgr,
		const boost::fusion::vector3< dlvhex::ID, dlvhex::ID, boost::optional< dlvhex::Tuple > > &	source,
		ID &	target
	)		[inline]

Definition at line 545 of file FunctionPlugin.cpp.

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

---

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

• src/FunctionPlugin.cpp