![]() |
OR-Tools
8.2
|
Definition at line 220 of file sat_base.h.
Static Public Attributes | |
static constexpr int | kCachedReason = 0 |
static constexpr int | kUnitReason = 1 |
static constexpr int | kSearchDecision = 2 |
static constexpr int | kSameReasonAs = 3 |
static constexpr int | kFirstFreePropagationId = 4 |
|
staticconstexpr |
Definition at line 221 of file sat_base.h.
|
staticconstexpr |
Definition at line 227 of file sat_base.h.
|
staticconstexpr |
Definition at line 224 of file sat_base.h.
|
staticconstexpr |
Definition at line 223 of file sat_base.h.
|
staticconstexpr |
Definition at line 222 of file sat_base.h.