sem< ChoiceParserModuleSemantics::choiceHead > Struct Template Reference

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

---

Detailed Description

template<>
struct sem< ChoiceParserModuleSemantics::choiceHead >

Definition at line 216 of file ChoicePlugin.cpp.

---

Member Function Documentation

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

Definition at line 218 of file ChoicePlugin.cpp.

References Rule::body, HexGrammarSemantics::ctx, DBGLOG, ID_FAIL(), ID::MAINKIND_ATOM, ID::MAINKIND_RULE, AggregateAtom::mliterals, AggregateAtom::mvariables, ID::negateBinaryOperator(), ID::posLiteralFromAtom(), ProgramCtx::registry(), ID::SUBKIND_ATOM_AGGREGATE, ID::SUBKIND_ATOM_BUILTIN, ID::SUBKIND_RULE_CONSTRAINT, ID::TERM_BUILTIN_AGGCOUNT, ID::TERM_BUILTIN_EQ, ID::TERM_BUILTIN_GE, ID::termFromBuiltin(), ID::termFromInteger(), and Atom::tuple.

---

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

• src/ChoicePlugin.cpp