#include <indexed_lattice.h>
Public Methods | |
IndexedLattice (CrossMap<IndexObj> *map, SubLattice def) | |
void | set_value (IndexObj v, SubLattice val) |
SubLattice | get_value (IndexObj v) const |
SubLattice | get_default_value () const |
CrossMap<IndexObj >* | get_map () const |
bool | do_meet_with_test (const IndexedLattice &other) |
IndexedLattice* | clone () const |
Friends | |
class | iterator |
|
|
|
|
|
|
|
|