sem< ConditionalParserModuleSemantics::conditionalLieral > Struct Template Reference

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

---

Detailed Description

template<>
struct sem< ConditionalParserModuleSemantics::conditionalLieral >

Definition at line 160 of file ConditionalLiteralPlugin.cpp.

---

Member Function Documentation

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

Definition at line 162 of file ConditionalLiteralPlugin.cpp.

References HexGrammarSemantics::ctx, DBGLOG, ID_FAIL(), AggregateAtom::literals, ID::MAINKIND_ATOM, ID::MAINKIND_RULE, ID::nafLiteralFromAtom(), ProgramCtx::registry(), ID::SUBKIND_ATOM_AGGREGATE, ID::SUBKIND_RULE_REGULAR, ID::TERM_BUILTIN_AGGCOUNT, ID::TERM_BUILTIN_EQ, ID::termFromBuiltin(), ID::termFromInteger(), Atom::tuple, and AggregateAtom::variables.

---

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

• src/ConditionalLiteralPlugin.cpp