![]() |
OR-Tools
8.2
|
Definition at line 338 of file pb_constraint.h.
Classes | |
struct | ReasonInfo |
Public Member Functions | |
void | Enqueue (Literal l, int source_trail_index, UpperBoundedLinearConstraint *ct, Trail *trail) |
Public Attributes | |
int | propagator_id |
std::vector< Literal > | conflict |
std::vector< ReasonInfo > | reasons |
|
inline |
Definition at line 339 of file pb_constraint.h.
std::vector<Literal> conflict |
Definition at line 349 of file pb_constraint.h.
int propagator_id |
Definition at line 346 of file pb_constraint.h.
std::vector<ReasonInfo> reasons |
Definition at line 357 of file pb_constraint.h.