dlvhex  2.5.0
Public Member Functions
sem< HexGrammarSemantics::weakconstraintaspcore2 > Struct Template Reference

Public Member Functions

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

Detailed Description

template<>
struct sem< HexGrammarSemantics::weakconstraintaspcore2 >

Definition at line 807 of file HexGrammar.tcc.

Member Function Documentation

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

Definition at line 809 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: