sem< ChoiceParserModuleSemantics::choiceElement > Struct Template Reference

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

---

Detailed Description

template<>
struct sem< ChoiceParserModuleSemantics::choiceElement >

Definition at line 324 of file ChoicePlugin.cpp.

---

Member Function Documentation

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

Definition at line 326 of file ChoicePlugin.cpp.

References Rule::body, HexGrammarSemantics::ctx, Rule::head, Atom::kind, ID::MAINKIND_RULE, ID::PROPERTY_AUX, ID::PROPERTY_RULE_DISJ, ProgramCtx::registry(), and Atom::tuple.

---

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

• src/ChoicePlugin.cpp