AggregateAtomTable Class Reference

Lookup table for aggregate atoms. More...

#include <include/dlvhex2/AggregateAtomTable.h>

Inheritance diagram for AggregateAtomTable:

Collaboration diagram for AggregateAtomTable:

Public Types
typedef Container::index < impl::AddressTag >::type	AddressIndex
Public Member Functions
const AggregateAtom &	getByID (ID id) const throw ()
	Retrieve by ID.
ID	storeAndGetID (const AggregateAtom &atom) throw ()
	Store atom, assuming it does not exist.

---

Detailed Description

Lookup table for aggregate atoms.

Definition at line 44 of file AggregateAtomTable.h.

---

Member Typedef Documentation

typedef Container::index<impl::AddressTag>::type AggregateAtomTable::AddressIndex

Definition at line 59 of file AggregateAtomTable.h.

---

Member Function Documentation

const AggregateAtom & AggregateAtomTable::getByID

(

ID

id

)

const throw () [inline]

Retrieve by ID.

Assert that id.kind is correct. Assert that ID exists in table.

Parameters:

id	ID of an aggregate atom.

Returns:

AggregateAtom corresponding to id.

Definition at line 83 of file AggregateAtomTable.h.

Referenced by BOOST_AUTO_TEST_CASE(), Registry::getExternalAtomsInTuple(), Registry::getOutVariablesInID(), Registry::getVariablesInID(), and RawPrinter::print().

ID AggregateAtomTable::storeAndGetID

(

const AggregateAtom &

atom

)

throw () [inline]

Store atom, assuming it does not exist.

Parameters:

atom	AggregateAtom to store.

Returns:

ID of the stored SggregateAtom.

Definition at line 98 of file AggregateAtomTable.h.

Referenced by BOOST_AUTO_TEST_CASE().

---

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

• include/dlvhex2/AggregateAtomTable.h