sem< HexGrammarSemantics::ruleVariableDisjunction > Struct Template Reference

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

---

Detailed Description

template<>
struct sem< HexGrammarSemantics::ruleVariableDisjunction >

Definition at line 709 of file HexGrammar.tcc.

---

Member Function Documentation

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

Definition at line 711 of file HexGrammar.tcc.

References HexGrammarSemantics::ctx, Rule::head, Rule::headGuard, Rule::kind, ID::MAINKIND_RULE, HexGrammarSemantics::markExternalPropertyIfExternalBody(), HexGrammarSemantics::markModulePropertyIfModuleBody(), ID::PROPERTY_RULE_DISJ, ID::PROPERTY_RULE_HEADGUARD, ProgramCtx::registry(), and ID::SUBKIND_RULE_REGULAR.

---

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

• include/dlvhex2/HexGrammar.tcc