dlvhex  2.5.0
Public Member Functions | Data Fields
DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue Struct Reference
Collaboration diagram for DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue:
Collaboration graph
[legend]

Public Member Functions

 AuxiliaryValue (const std::string &symbol, ID id)
bool operator< (const AuxiliaryValue &v2) const

Data Fields

std::string symbol
ID id

Detailed Description

Definition at line 114 of file Registry.cpp.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue::AuxiliaryValue ( const std::string &  symbol,
ID  id 
) [inline]

Definition at line 118 of file Registry.cpp.

Member Function Documentation

bool DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue::operator< ( const AuxiliaryValue &  v2) const [inline]

Definition at line 121 of file Registry.cpp.

References id.

Field Documentation

ID DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue::id

Definition at line 117 of file Registry.cpp.

Referenced by operator<().

std::string DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue::symbol

Definition at line 116 of file Registry.cpp.

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