DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey Struct Reference

Collaboration diagram for DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey:

Public Member Functions
	AuxiliaryKey (char type, ID id)
bool	operator== (const AuxiliaryKey &k2) const
bool	operator< (const AuxiliaryKey &k2) const
Data Fields
char	type
ID	id

---

Detailed Description

Definition at line 88 of file Registry.cpp.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey::AuxiliaryKey	(	char	type,
		ID	id
	)		[inline]

Definition at line 93 of file Registry.cpp.

---

Member Function Documentation

bool DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey::operator<

(

const AuxiliaryKey &

k2

)

const [inline]

Definition at line 98 of file Registry.cpp.

References id, and type.

bool DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey::operator==

(

const AuxiliaryKey &

k2

)

const [inline]

Definition at line 95 of file Registry.cpp.

References id, and type.

---

Field Documentation

ID DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey::id

Definition at line 91 of file Registry.cpp.

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

char DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey::type

Definition at line 90 of file Registry.cpp.

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

---

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

• src/Registry.cpp