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

Public Member Functions

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

Detailed Description

template<>
struct sem< HexGrammarSemantics::aggregateAtom >

Definition at line 463 of file HexGrammar.tcc.

Member Function Documentation

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

Definition at line 465 of file HexGrammar.tcc.

References HexGrammarSemantics::ctx, DBGLOG, ID_FAIL(), AggregateAtom::literals, ID::MAINKIND_ATOM, AggregateAtom::mliterals, AggregateAtom::mvariables, ProgramCtx::registry(), ID::SUBKIND_ATOM_AGGREGATE, Atom::tuple, AggregateAtom::variables, and WARNING().

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