![]() |
OR-Tools
8.2
|
Definition at line 77 of file implied_bounds.h.
Public Member Functions | |
ImpliedBounds (Model *model) | |
~ImpliedBounds () | |
void | Add (Literal literal, IntegerLiteral integer_literal) |
void | ProcessIntegerTrail (Literal first_decision) |
const std::vector< ImpliedBoundEntry > & | GetImpliedBounds (IntegerVariable var) |
const std::vector< IntegerVariable > & | VariablesWithImpliedBounds () const |
bool | EnqueueNewDeductions () |
void | NotifyNewIntegerView (Literal literal) |
|
inlineexplicit |
Definition at line 79 of file implied_bounds.h.
~ImpliedBounds | ( | ) |
Definition at line 20 of file implied_bounds.cc.
void Add | ( | Literal | literal, |
IntegerLiteral | integer_literal | ||
) |
Definition at line 27 of file implied_bounds.cc.
bool EnqueueNewDeductions | ( | ) |
Definition at line 180 of file implied_bounds.cc.
const std::vector< ImpliedBoundEntry > & GetImpliedBounds | ( | IntegerVariable | var | ) |
Definition at line 147 of file implied_bounds.cc.
|
inline |
Definition at line 122 of file implied_bounds.h.
void ProcessIntegerTrail | ( | Literal | first_decision | ) |
Definition at line 169 of file implied_bounds.cc.
|
inline |
Definition at line 107 of file implied_bounds.h.