HexGrammarSemantics Class Reference

see top of this file More...

#include <include/dlvhex2/HexGrammar.h>

Inheritance diagram for HexGrammarSemantics:

Collaboration diagram for HexGrammarSemantics:

Public Member Functions
void	markExternalPropertyIfExternalBody (RegistryPtr registry, Rule &r)
void	markModulePropertyIfModuleBody (RegistryPtr registry, Rule &r)
	HexGrammarSemantics (ProgramCtx &ctx)
	DLVHEX_DEFINE_SEMANTIC_ACTION (termFromCIdent, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (termFromInteger, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (termFromString, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (termFromVariable, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (predFromPredDecl, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (predFromNameOnly, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (predFromString, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (classicalAtomFromPrefix, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (classicalAtomFromTuple, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (builtinTernaryInfix, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (builtinBinaryInfix, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (builtinUnaryPrefix, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (builtinBinaryPrefix, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (builtinTernaryPrefix, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (aggregateAtom, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (externalAtom, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (extSourceProperty, ExtSourceProperty)
	DLVHEX_DEFINE_SEMANTIC_ACTION (mlpModuleAtom, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (bodyLiteral, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (rule, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (constraint, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (weakconstraint, ID)
	DLVHEX_DEFINE_SEMANTIC_ACTION (add, const boost::spirit::unused_type)
	DLVHEX_DEFINE_SEMANTIC_ACTION (addMLPModuleName, std::string)
	DLVHEX_DEFINE_SEMANTIC_ACTION (addMLPModuleHeader, const boost::spirit::unused_type)
	DLVHEX_DEFINE_SEMANTIC_ACTION (ignoreAndWarnIfNotFail, const boost::spirit::unused_type)
	DLVHEX_DEFINE_SEMANTIC_ACTION (maxint, const boost::spirit::unused_type)
Data Fields
ProgramCtx &	ctx
std::string	currentModuleName
int	mlpMode

---

Detailed Description

see top of this file

Definition at line 158 of file HexGrammar.h.

---

Constructor & Destructor Documentation

HexGrammarSemantics::HexGrammarSemantics

(

ProgramCtx &

ctx

)

Definition at line 58 of file HexGrammar.cpp.

References mlpMode.

---

Member Function Documentation

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	termFromCIdent	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	termFromInteger	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	termFromString	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	termFromVariable	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	predFromPredDecl	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	predFromNameOnly	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	predFromString	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	classicalAtomFromPrefix	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	classicalAtomFromTuple	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	builtinTernaryInfix	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	builtinBinaryInfix	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	builtinUnaryPrefix	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	builtinBinaryPrefix	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	builtinTernaryPrefix	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	aggregateAtom	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	externalAtom	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	extSourceProperty	,
		ExtSourceProperty
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	mlpModuleAtom	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	bodyLiteral	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	rule	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	constraint	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	weakconstraint	,
		ID
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	add	,
		const boost::spirit::unused_type
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	addMLPModuleName	,
		std::string
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	addMLPModuleHeader	,
		const boost::spirit::unused_type
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	ignoreAndWarnIfNotFail	,
		const boost::spirit::unused_type
	)

HexGrammarSemantics::DLVHEX_DEFINE_SEMANTIC_ACTION	(	maxint	,
		const boost::spirit::unused_type
	)

void HexGrammarSemantics::markExternalPropertyIfExternalBody	(	RegistryPtr	registry,
		Rule &	r
	)

Definition at line 64 of file HexGrammar.cpp.

References Rule::body, Rule::kind, and ID::PROPERTY_RULE_EXTATOMS.

Referenced by sem< HexGrammarSemantics::rule >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), and sem< HexGrammarSemantics::weakconstraint >::operator()().

void HexGrammarSemantics::markModulePropertyIfModuleBody	(	RegistryPtr	registry,
		Rule &	r
	)

Definition at line 74 of file HexGrammar.cpp.

References Rule::body, Rule::kind, and ID::PROPERTY_RULE_MODATOMS.

Referenced by sem< HexGrammarSemantics::rule >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), and sem< HexGrammarSemantics::weakconstraint >::operator()().

---

Field Documentation

ProgramCtx& HexGrammarSemantics::ctx

Definition at line 161 of file HexGrammar.h.

Referenced by sem< HexGrammarSemantics::termFromCIdent >::operator()(), sem< HexGrammarSemantics::termFromString >::operator()(), sem< HexGrammarSemantics::termFromVariable >::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< HexGrammarSemantics::predFromPredDecl >::operator()(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()(), sem< QueryParserModuleSemantics::queryBody >::operator()(), sem< HexGrammarSemantics::predFromNameOnly >::operator()(), sem< HexGrammarSemantics::predFromString >::operator()(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::operator()(), sem< HexGrammarSemantics::classicalAtomFromTuple >::operator()(), sem< HexGrammarSemantics::builtinTernaryInfix >::operator()(), sem< HexGrammarSemantics::builtinBinaryInfix >::operator()(), sem< HexGrammarSemantics::builtinUnaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinBinaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinTernaryPrefix >::operator()(), sem< HexGrammarSemantics::aggregateAtom >::operator()(), sem< HexGrammarSemantics::externalAtom >::operator()(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), sem< HexGrammarSemantics::rule >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), sem< HexGrammarSemantics::weakconstraint >::operator()(), sem< HexGrammarSemantics::addMLPModuleHeader >::operator()(), sem< HexGrammarSemantics::add >::operator()(), sem< HexGrammarSemantics::maxint >::operator()(), and storePredicate().

std::string HexGrammarSemantics::currentModuleName

Definition at line 162 of file HexGrammar.h.

Referenced by sem< HexGrammarSemantics::predFromPredDecl >::operator()(), sem< HexGrammarSemantics::addMLPModuleName >::operator()(), and sem< HexGrammarSemantics::addMLPModuleHeader >::operator()().

int HexGrammarSemantics::mlpMode

Definition at line 163 of file HexGrammar.h.

Referenced by HexGrammarSemantics(), sem< HexGrammarSemantics::predFromNameOnly >::operator()(), sem< HexGrammarSemantics::predFromString >::operator()(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::operator()(), sem< HexGrammarSemantics::addMLPModuleName >::operator()(), and sem< HexGrammarSemantics::add >::operator()().

---

The documentation for this class was generated from the following files:

• include/dlvhex2/HexGrammar.h
• src/HexGrammar.cpp