dlvhex  2.5.0
Public Member Functions
sem< HexGrammarSemantics::termFromFunctionTerm > Struct Template Reference

Public Member Functions

void operator() (HexGrammarSemantics &mgr, const boost::fusion::vector2< const std::string, boost::optional< boost::optional< std::vector< ID > > > > &source, ID &target)

Detailed Description

template<>
struct sem< HexGrammarSemantics::termFromFunctionTerm >

Definition at line 102 of file HexGrammar.tcc.

Member Function Documentation

void sem< HexGrammarSemantics::termFromFunctionTerm >::operator() ( HexGrammarSemantics &  mgr,
const boost::fusion::vector2< const std::string, boost::optional< boost::optional< std::vector< ID > > > > &  source,
ID &  target 
) [inline]

Definition at line 104 of file HexGrammar.tcc.

References HexGrammarSemantics::ctx, ID_FAIL(), ID::MAINKIND_TERM, ProgramCtx::registry(), ID::SUBKIND_TERM_CONSTANT, ID::SUBKIND_TERM_NESTED, and Term::symbol.

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