#include <include/dlvhex2/PredicateTable.h>
Public Types | |
| typedef Container::index < impl::AddressTag >::type | AddressIndex |
| typedef AddressIndex::iterator | AddressIterator |
| typedef Container::index < impl::PredicateNameTag > ::type | PredicateNameIndex |
Public Member Functions | |
| const Predicate & | getByID (ID id) const throw () |
| void | setArity (ID id, int arity) |
| ID | getIDByString (const std::string &str) const throw () |
| const Predicate & | getByString (const std::string &str) const throw () |
| ID | storeAndGetID (const Predicate &symb) throw () |
| std::pair< AddressIterator, AddressIterator > | getAllByAddress () const throw () |
Detailed Description
Definition at line 46 of file PredicateTable.h.
Member Typedef Documentation
| typedef Container::index<impl::AddressTag>::type PredicateTable::AddressIndex |
Definition at line 67 of file PredicateTable.h.
| typedef AddressIndex::iterator PredicateTable::AddressIterator |
Definition at line 68 of file PredicateTable.h.
| typedef Container::index<impl::PredicateNameTag>::type PredicateTable::PredicateNameIndex |
Definition at line 69 of file PredicateTable.h.
Member Function Documentation
| std::pair< PredicateTable::AddressIterator, PredicateTable::AddressIterator > PredicateTable::getAllByAddress | ( | ) | const throw () [inline] |
Definition at line 195 of file PredicateTable.h.
References Table< ValueT, IndexT >::container, and Table< ValueT, IndexT >::mutex.
| const Predicate & PredicateTable::getByID | ( | ID | id | ) | const throw () [inline] |
Definition at line 103 of file PredicateTable.h.
References Table< ValueT, IndexT >::container, and Table< ValueT, IndexT >::mutex.
Referenced by RawPrinter::print().
| const Predicate & PredicateTable::getByString | ( | const std::string & | str | ) | const throw () [inline] |
Definition at line 154 of file PredicateTable.h.
References Table< ValueT, IndexT >::container, Table< ValueT, IndexT >::mutex, and PREDICATE_FAIL().
| ID PredicateTable::getIDByString | ( | const std::string & | str | ) | const throw () [inline] |
Definition at line 138 of file PredicateTable.h.
References Table< ValueT, IndexT >::container, ID_FAIL(), and Table< ValueT, IndexT >::mutex.
Referenced by Registry::storeConstantTerm(), and Registry::storeConstOrVarTerm().
| void PredicateTable::setArity | ( | ID | id, |
| int | arity | ||
| ) | [inline] |
Definition at line 119 of file PredicateTable.h.
References Table< ValueT, IndexT >::container, DBGLOG, and Table< ValueT, IndexT >::mutex.
| ID PredicateTable::storeAndGetID | ( | const Predicate & | symb | ) | throw () [inline] |
Definition at line 171 of file PredicateTable.h.
References Table< ValueT, IndexT >::container, and Table< ValueT, IndexT >::mutex.
The documentation for this class was generated from the following file:
- include/dlvhex2/PredicateTable.h
