GRATgen
|
Container class to store a mapping from literals to type T. More...
Public Member Functions | |
lit_map (size_t _max_var=0) | |
Initialize with fixed variable size. More... | |
lit_map (lit_map const &lm) | |
Copy the mapping, and all values. | |
lit_map & | operator= (lit_map const &lm) |
Assignment, copying the mapping, and all values. | |
void | resize_reset (size_t _max_var) |
Resize to new maximal variable number, resetting existing mappings! More... | |
T & | operator[] (lit_t l) |
Get reference to mapping for specified literal. | |
const T & | operator[] (lit_t l) const |
Get const reference to mapping for specified literal. | |
size_t | get_max_var () const |
Get maximum variable number. | |
lit_t | lbegin () const |
Get smallest mapped literal. More... | |
lit_t | lend () const |
Get largest mapped literal plus one. More... | |
Container class to store a mapping from literals to type T.
Initialize with fixed variable size.
_max_var | Maximum variable number. |
Get smallest mapped literal.
Used to iterate over all mapped literals:
Get largest mapped literal plus one.
Used to iterate over all mapped literals:
|
inline |
Resize to new maximal variable number, resetting existing mappings!
_max_var | Maximum variable number |