LiberalSafetyChecker::Attribute Struct Reference

Stores an ordinary or external (input or output) attribute. More...

#include <include/dlvhex2/LiberalSafetyChecker.h>

Inheritance diagram for LiberalSafetyChecker::Attribute:

Collaboration diagram for LiberalSafetyChecker::Attribute:

Public Types
enum	Type { Ordinary, External }
	Type of the attribute. More...
Public Member Functions
bool	operator== (const Attribute &at2) const
	Attribute comparison.
bool	operator< (const Attribute &at2) const
	Implements an artificial order of attributes to make them usable in sets.
std::ostream &	print (std::ostream &o) const
	Prints the attribute in human-readable format.
Data Fields
RegistryPtr	reg
	Registry.
Type	type
	Type of this attribute.
ID	eatomID
	ID_FAIL for ordinary attributes and the external atom whose attribute is to be defined otherwise.
ID	predicate
	Ordinary or external predicate.
std::vector< ID >	inputList
	Input attributes for external attributes.
ID	ruleID
	Rule where the external attributes occurs (only for external attributes).
bool	input
	Input or output attribute for external attributes.
int	argIndex
	Ordinary, input or output argument position.

---

Detailed Description

Stores an ordinary or external (input or output) attribute.

Definition at line 98 of file LiberalSafetyChecker.h.

---

Member Enumeration Documentation

enum LiberalSafetyChecker::Attribute::Type

Type of the attribute.

Enumerator:

Ordinary	Argument position of an ordinary predicate.
External	Input or output argument position of an external predicate.

Definition at line 101 of file LiberalSafetyChecker.h.

---

Member Function Documentation

bool LiberalSafetyChecker::Attribute::operator<

(

const Attribute &

at2

)

const

Implements an artificial order of attributes to make them usable in sets.

Parameters:

at2	Attribute to compare to.

Returns:

True if this attribute is smaller than at2 and false otherwise.

Definition at line 359 of file LiberalSafetyChecker.cpp.

References argIndex, input, inputList, predicate, ruleID, and type.

bool LiberalSafetyChecker::Attribute::operator==

(

const Attribute &

at2

)

const

Attribute comparison.

Parameters:

at2	Attribute to compare to.

Returns:

True if this attribute is equal to at2 and false otherwise.

Definition at line 348 of file LiberalSafetyChecker.cpp.

References argIndex, input, inputList, predicate, ruleID, and type.

std::ostream & LiberalSafetyChecker::Attribute::print

(

std::ostream &

o

)

const

Prints the attribute in human-readable format.

Parameters:

o	Output stream to print to.

Returns:

o.

Definition at line 373 of file LiberalSafetyChecker.cpp.

References Ordinary, RawPrinter::print(), and LiberalSafetyChecker::reg.

---

Field Documentation

int LiberalSafetyChecker::Attribute::argIndex

Ordinary, input or output argument position.

Definition at line 123 of file LiberalSafetyChecker.h.

Referenced by LiberalSafetyChecker::getAttribute(), hash_value(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles(), operator<(), and operator==().

ID LiberalSafetyChecker::Attribute::eatomID

ID_FAIL for ordinary attributes and the external atom whose attribute is to be defined otherwise.

Definition at line 113 of file LiberalSafetyChecker.h.

Referenced by LiberalSafetyChecker::getAttribute(), hash_value(), and DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles().

bool LiberalSafetyChecker::Attribute::input

Input or output attribute for external attributes.

Definition at line 121 of file LiberalSafetyChecker.h.

Referenced by DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::computeCyclicAttributes(), LiberalSafetyChecker::computeCyclicAttributes(), LiberalSafetyChecker::getAttribute(), hash_value(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles(), operator<(), and operator==().

std::vector<ID> LiberalSafetyChecker::Attribute::inputList

Input attributes for external attributes.

Definition at line 117 of file LiberalSafetyChecker.h.

Referenced by LiberalSafetyChecker::getAttribute(), hash_value(), operator<(), and operator==().

ID LiberalSafetyChecker::Attribute::predicate

Ordinary or external predicate.

Definition at line 115 of file LiberalSafetyChecker.h.

Referenced by DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::computeCyclicAttributes(), LiberalSafetyChecker::computeCyclicAttributes(), LiberalSafetyChecker::getAttribute(), LiberalSafetyChecker::getNode(), hash_value(), operator<(), and operator==().

RegistryPtr LiberalSafetyChecker::Attribute::reg

Registry.

Definition at line 109 of file LiberalSafetyChecker.h.

Referenced by LiberalSafetyChecker::getAttribute().

ID LiberalSafetyChecker::Attribute::ruleID

Rule where the external attributes occurs (only for external attributes).

Definition at line 119 of file LiberalSafetyChecker.h.

Referenced by LiberalSafetyChecker::getAttribute(), hash_value(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles(), operator<(), and operator==().

Type LiberalSafetyChecker::Attribute::type

Type of this attribute.

Definition at line 111 of file LiberalSafetyChecker.h.

Referenced by DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::computeCyclicAttributes(), LiberalSafetyChecker::computeCyclicAttributes(), LiberalSafetyChecker::getAttribute(), LiberalSafetyChecker::getNode(), hash_value(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles(), operator<(), and operator==().

---

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

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