![]() |
OR-Tools
9.6
|
Public Member Functions | |
| void | ClearIndices () |
| void | AddOrMergeTerm (const CutTerm &term, IntegerValue t, CutData *cut) |
| int | NumMergesSinceLastClear () const |
| bool | ConvertToLinearConstraint (const CutData &cut, LinearConstraint *output) |
| bool ConvertToLinearConstraint | ( | const CutData & | cut, |
| LinearConstraint * | output | ||
| ) |