dlvhex  2.5.0
Public Member Functions
sem< HexGrammarSemantics::classicalAtomFromPrefix > Struct Template Reference
Inheritance diagram for sem< HexGrammarSemantics::classicalAtomFromPrefix >:
Inheritance graph
[legend]

Public Member Functions

void createAtom (RegistryPtr reg, OrdinaryAtom &atom, ID &target)
void operator() (HexGrammarSemantics &mgr, const boost::fusion::vector2< ID, boost::optional< boost::optional< std::vector< ID > > > > &source, ID &target)

Detailed Description

template<>
struct sem< HexGrammarSemantics::classicalAtomFromPrefix >

Definition at line 288 of file HexGrammar.tcc.

Member Function Documentation

void sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom ( RegistryPtr  reg,
OrdinaryAtom &  atom,
ID &  target 
) [inline]

Definition at line 290 of file HexGrammar.tcc.

References DBGLOG, IDKind, Atom::kind, printrange(), ID::SUBKIND_ATOM_ORDINARYG, ID::SUBKIND_ATOM_ORDINARYN, ID::SUBKIND_MASK, ID::SUBKIND_TERM_BUILTIN, ID::SUBKIND_TERM_VARIABLE, and Atom::tuple.

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

Definition at line 314 of file HexGrammar.tcc.

References HexGrammarSemantics::ctx, ID::MAINKIND_ATOM, HexGrammarSemantics::mlpMode, ProgramCtx::registry(), and Atom::tuple.

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