DependencyGraph::HeadBodyInfo Struct Reference

Stores for a given ordinary atom where it occurs. More...

#include <include/dlvhex2/DependencyGraph.h>

Collaboration diagram for DependencyGraph::HeadBodyInfo:

Public Member Functions
	HeadBodyInfo (const OrdinaryAtom *oatom=NULL)
	Constructor.
Data Fields
ID	id
	Ordinary ground or nonground atom id.
bool	inHead
	True if id occurs in a head.
bool	inBody
	True if id occurs in a body.
NodeList	inHeadOfNondisjunctiveRules
	True if id occurs in the head of a nondisjunctive rule.
NodeList	inHeadOfDisjunctiveRules
	True if id occurs in the head of a disjunctive rule.
NodeList	inPosBodyOfRegularRules
	True if id occurs in the positive body of a rule which is not a constraint.
NodeList	inPosBodyOfConstraints
	True if id occurs in the positive body of a constraint.
NodeList	inNegBodyOfRules
	True if id occurs in the negative body of any rule (regular and constraint).
ID	headPredicate
	Predicate of the atom; only specified if inHead is true.
const OrdinaryAtom *	oatom
	Pointer to the original OrdinaryAtom.

---

Detailed Description

Stores for a given ordinary atom where it occurs.

Definition at line 212 of file DependencyGraph.h.

---

Constructor & Destructor Documentation

DependencyGraph::HeadBodyInfo::HeadBodyInfo

(

const OrdinaryAtom *

oatom = NULL

)

[inline]

Constructor.

Parameters:

oatom

See HeadBodyInfo::oatom.

Definition at line 237 of file DependencyGraph.h.

---

Field Documentation

ID DependencyGraph::HeadBodyInfo::headPredicate

Predicate of the atom; only specified if inHead is true.

Definition at line 231 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

ID DependencyGraph::HeadBodyInfo::id

Ordinary ground or nonground atom id.

Definition at line 215 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), and DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

bool DependencyGraph::HeadBodyInfo::inBody

True if id occurs in a body.

Definition at line 219 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForBody().

bool DependencyGraph::HeadBodyInfo::inHead

True if id occurs in a head.

Definition at line 217 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

NodeList DependencyGraph::HeadBodyInfo::inHeadOfDisjunctiveRules

True if id occurs in the head of a disjunctive rule.

Definition at line 223 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

NodeList DependencyGraph::HeadBodyInfo::inHeadOfNondisjunctiveRules

True if id occurs in the head of a nondisjunctive rule.

Definition at line 221 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

NodeList DependencyGraph::HeadBodyInfo::inNegBodyOfRules

True if id occurs in the negative body of any rule (regular and constraint).

Definition at line 229 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForBody().

NodeList DependencyGraph::HeadBodyInfo::inPosBodyOfConstraints

True if id occurs in the positive body of a constraint.

Definition at line 227 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForBody().

NodeList DependencyGraph::HeadBodyInfo::inPosBodyOfRegularRules

True if id occurs in the positive body of a rule which is not a constraint.

Definition at line 225 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForBody().

const OrdinaryAtom* DependencyGraph::HeadBodyInfo::oatom

Pointer to the original OrdinaryAtom.

Definition at line 233 of file DependencyGraph.h.

Referenced by DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

---

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

• include/dlvhex2/DependencyGraph.h