![]() |
OR-Tools
8.2
|
Definition at line 119 of file integer_expr.h.
Public Member Functions | |
LevelZeroEquality (IntegerVariable target, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, Model *model) | |
bool | Propagate () final |
LevelZeroEquality | ( | IntegerVariable | target, |
const std::vector< IntegerVariable > & | vars, | ||
const std::vector< IntegerValue > & | coeffs, | ||
Model * | model | ||
) |
Definition at line 252 of file integer_expr.cc.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 276 of file integer_expr.cc.