![]() |
OR-Tools
8.2
|
Public Attributes | |
bool | initial = true |
bool | separate = true |
bool | enforce = true |
bool | check = true |
bool | propagate = true |
bool = false | |
bool | modifiable = false |
bool | dynamic = false |
bool | removable = false |
bool | sticking_at_node = false |
bool | keep_alive = true |