Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
|
#include <integer_expr.h>
Public Member Functions | |
FixedModuloPropagator (AffineExpression expr, IntegerValue mod, AffineExpression target, IntegerTrail *integer_trail) | |
FixedModuloPropagator (const FixedModuloPropagator &)=delete | |
This type is neither copyable nor movable. | |
FixedModuloPropagator & | operator= (const FixedModuloPropagator &)=delete |
bool | Propagate () final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
Public Member Functions inherited from operations_research::sat::PropagatorInterface | |
PropagatorInterface ()=default | |
virtual | ~PropagatorInterface ()=default |
virtual bool | IncrementalPropagate (const std::vector< int > &) |
Propagates target == expr % mod. Basic version, we don't extract any special cases, and we only propagates the bounds. mod must be > 0.
Definition at line 365 of file integer_expr.h.
operations_research::sat::FixedModuloPropagator::FixedModuloPropagator | ( | AffineExpression | expr, |
IntegerValue | mod, | ||
AffineExpression | target, | ||
IntegerTrail * | integer_trail ) |
Definition at line 1479 of file integer_expr.cc.
|
delete |
This type is neither copyable nor movable.
|
delete |
|
finalvirtual |
This will be called after one or more literals that are watched by this propagator changed. It will also always be called on the first propagation cycle after registration.
Implements operations_research::sat::PropagatorInterface.
Definition at line 1487 of file integer_expr.cc.
void operations_research::sat::FixedModuloPropagator::RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 1646 of file integer_expr.cc.