|
std::function< void(Model *)> | LowerOrEqual (IntegerVariable a, IntegerVariable b) |
|
std::function< void(Model *)> | LowerOrEqualWithOffset (IntegerVariable a, IntegerVariable b, int64 offset) |
|
std::function< void(Model *)> | Sum2LowerOrEqual (IntegerVariable a, IntegerVariable b, int64 ub) |
|
std::function< void(Model *)> | ConditionalSum2LowerOrEqual (IntegerVariable a, IntegerVariable b, int64 ub, const std::vector< Literal > &enforcement_literals) |
|
std::function< void(Model *)> | Sum3LowerOrEqual (IntegerVariable a, IntegerVariable b, IntegerVariable c, int64 ub) |
|
std::function< void(Model *)> | ConditionalSum3LowerOrEqual (IntegerVariable a, IntegerVariable b, IntegerVariable c, int64 ub, const std::vector< Literal > &enforcement_literals) |
|
std::function< void(Model *)> | GreaterOrEqual (IntegerVariable a, IntegerVariable b) |
|
std::function< void(Model *)> | Equality (IntegerVariable a, IntegerVariable b) |
|
std::function< void(Model *)> | EqualityWithOffset (IntegerVariable a, IntegerVariable b, int64 offset) |
|
std::function< void(Model *)> | ConditionalLowerOrEqualWithOffset (IntegerVariable a, IntegerVariable b, int64 offset, Literal is_le) |
|
std::function< void(Model *)> | ConditionalLowerOrEqual (IntegerVariable a, IntegerVariable b, Literal is_le) |
|
std::function< void(Model *)> | ConditionalLowerOrEqual (IntegerVariable a, IntegerVariable b, absl::Span< const Literal > literals) |
|
std::function< void(Model *)> | ReifiedLowerOrEqualWithOffset (IntegerVariable a, IntegerVariable b, int64 offset, Literal is_le) |
|
std::function< void(Model *)> | ReifiedEquality (IntegerVariable a, IntegerVariable b, Literal is_eq) |
|
std::function< void(Model *)> | ReifiedEqualityWithOffset (IntegerVariable a, IntegerVariable b, int64 offset, Literal is_eq) |
|
std::function< void(Model *)> | NotEqual (IntegerVariable a, IntegerVariable b) |
|