![]() |
OR-Tools
8.2
|
Definition at line 187 of file sat_base.h.
Public Member Functions | |
std::string | DebugString () const |
Public Attributes | |
uint32 | level: 28 |
uint32 | type: 4 |
int32 | trail_index |
|
inline |
Definition at line 210 of file sat_base.h.
uint32 level |
Definition at line 199 of file sat_base.h.
int32 trail_index |
Definition at line 208 of file sat_base.h.
|
mutable |
Definition at line 205 of file sat_base.h.