sem< ChoiceParserModuleSemantics::choiceRule > Struct Template Reference

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

---

Detailed Description

template<>
struct sem< ChoiceParserModuleSemantics::choiceRule >

Definition at line 174 of file ChoicePlugin.cpp.

---

Member Function Documentation

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

Definition at line 176 of file ChoicePlugin.cpp.

References Rule::body, HexGrammarSemantics::ctx, ID_FAIL(), ProgramCtx::idb, ProgramCtx::idbList, ID::isExternalAtom(), Rule::kind, HexGrammarSemantics::mlpMode, ID::PROPERTY_RULE_EXTATOMS, and ProgramCtx::registry().

---

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

• src/ChoicePlugin.cpp