OR-Tools  8.2
NonOverlappingRectanglesDisjunctivePropagator

Detailed Description

Definition at line 92 of file diffn.h.

Public Member Functions

 NonOverlappingRectanglesDisjunctivePropagator (bool strict, SchedulingConstraintHelper *x, SchedulingConstraintHelper *y, Model *model)
 
 ~NonOverlappingRectanglesDisjunctivePropagator () override
 
bool Propagate () final
 
void Register (int fast_priority, int slow_priority)
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ NonOverlappingRectanglesDisjunctivePropagator()

Definition at line 294 of file sat/diffn.cc.

◆ ~NonOverlappingRectanglesDisjunctivePropagator()

Definition at line 313 of file sat/diffn.cc.

Member Function Documentation

◆ IncrementalPropagate()

virtual bool IncrementalPropagate ( const std::vector< int > &  watch_indices)
inlinevirtualinherited

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 454 of file sat/diffn.cc.

◆ Register()

void Register ( int  fast_priority,
int  slow_priority 
)

Definition at line 316 of file sat/diffn.cc.


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