BuiltinAtomTable Class Reference

Lookup table for builtin atoms. More...

#include <include/dlvhex2/BuiltinAtomTable.h>

Inheritance diagram for BuiltinAtomTable:

Collaboration diagram for BuiltinAtomTable:

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

---

Detailed Description

Lookup table for builtin atoms.

Definition at line 44 of file BuiltinAtomTable.h.

---

Member Typedef Documentation

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

Definition at line 59 of file BuiltinAtomTable.h.

---

Member Function Documentation

const BuiltinAtom & BuiltinAtomTable::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 a builtin atom.

Returns:

BuiltinAtom corresponding to id.

Definition at line 83 of file BuiltinAtomTable.h.

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

ID BuiltinAtomTable::storeAndGetID

(

const BuiltinAtom &

atom

)

throw () [inline]

Store atom, assuming it does not exist.

Parameters:

atom	BuiltinAtom to store.

Returns:

ID of the stored BuiltinAtom.

Definition at line 97 of file BuiltinAtomTable.h.

Referenced by BOOST_AUTO_TEST_CASE().

---

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

• include/dlvhex2/BuiltinAtomTable.h