![]() |
OR-Tools
8.2
|
Public Member Functions | |
const T & | operator[] (IndexType index) const |
T & | MutableRef (IndexType index) |
int | size () const |
void | Grow (int new_size) |
void | GrowByOne () |
int | Level () const |
void | SetLevel (int level) final |
|
inlinefinalvirtual |
Implements ReversibleInterface.