sem< HexGrammarSemantics::weakconstraint > Struct Template Reference

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

---

Detailed Description

template<>
struct sem< HexGrammarSemantics::weakconstraint >

Definition at line 775 of file HexGrammar.tcc.

---

Member Function Documentation

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

Definition at line 777 of file HexGrammar.tcc.

References Rule::body, HexGrammarSemantics::ctx, DBGLOG, ID_FAIL(), Rule::level, ID::MAINKIND_RULE, HexGrammarSemantics::markExternalPropertyIfExternalBody(), HexGrammarSemantics::markModulePropertyIfModuleBody(), ProgramCtx::registry(), ID::SUBKIND_RULE_WEAKCONSTRAINT, ID::termFromInteger(), Rule::weakconstraintVector, and Rule::weight.

---

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

• include/dlvhex2/HexGrammar.tcc