![]() |
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 |