Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | List of all members
operations_research::sat::FixedDivisionPropagator Class Reference

#include <integer_expr.h>

Inheritance diagram for operations_research::sat::FixedDivisionPropagator:
operations_research::sat::PropagatorInterface

Public Member Functions

 FixedDivisionPropagator (AffineExpression a, IntegerValue b, AffineExpression c, IntegerTrail *integer_trail)
 
 FixedDivisionPropagator (const FixedDivisionPropagator &)=delete
 This type is neither copyable nor movable.
 
FixedDivisionPropagator & operator= (const FixedDivisionPropagator &)=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 > &)
 

Detailed Description

Propagates var_a / cst_b = var_c. Basic version, we don't extract any special cases, and we only propagates the bounds. cst_b must be > 0.

Definition at line 360 of file integer_expr.h.

Constructor & Destructor Documentation

◆ FixedDivisionPropagator() [1/2]

operations_research::sat::FixedDivisionPropagator::FixedDivisionPropagator ( AffineExpression a,
IntegerValue b,
AffineExpression c,
IntegerTrail * integer_trail )

Definition at line 1423 of file integer_expr.cc.

◆ FixedDivisionPropagator() [2/2]

operations_research::sat::FixedDivisionPropagator::FixedDivisionPropagator ( const FixedDivisionPropagator & )
delete

This type is neither copyable nor movable.

Member Function Documentation

◆ operator=()

FixedDivisionPropagator & operations_research::sat::FixedDivisionPropagator::operator= ( const FixedDivisionPropagator & )
delete

◆ Propagate()

bool operations_research::sat::FixedDivisionPropagator::Propagate ( )
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 1431 of file integer_expr.cc.

◆ RegisterWith()

void operations_research::sat::FixedDivisionPropagator::RegisterWith ( GenericLiteralWatcher * watcher)

Definition at line 1476 of file integer_expr.cc.

The documentation for this class was generated from the following files: