dlvhex  2.5.0
Public Member Functions
sem< HigherOrderParserModuleSemantics::higherOrderAtom > Struct Template Reference

Public Member Functions

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

Detailed Description

template<>
struct sem< HigherOrderParserModuleSemantics::higherOrderAtom >

Definition at line 160 of file HigherOrderPlugin.cpp.

Member Function Documentation

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

Definition at line 162 of file HigherOrderPlugin.cpp.

References HigherOrderPlugin::CtxData::arities, HexGrammarSemantics::ctx, HigherOrderParserModuleSemantics::ctxdata, DBGLOG, ID_FAIL(), ID::MAINKIND_ATOM, ID::MAINKIND_TERM, ID::PROPERTY_AUX, ProgramCtx::registry(), ID::SUBKIND_ATOM_ORDINARYN, ID::SUBKIND_TERM_VARIABLE, and Atom::tuple.

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