Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::NonOverlappingRectanglesEnergyPropagator Class Reference

Detailed Description

Definition at line 42 of file diffn.h.

#include <diffn.h>

Inheritance diagram for operations_research::sat::NonOverlappingRectanglesEnergyPropagator:
operations_research::sat::PropagatorInterface

Public Member Functions

 NonOverlappingRectanglesEnergyPropagator (NoOverlap2DConstraintHelper *helper, Model *model)
 ~NonOverlappingRectanglesEnergyPropagator () override
bool Propagate () final
int RegisterWith (GenericLiteralWatcher *watcher)
Public Member Functions inherited from operations_research::sat::PropagatorInterface
 PropagatorInterface ()=default
virtual ~PropagatorInterface ()=default
virtual bool IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

◆ NonOverlappingRectanglesEnergyPropagator()

operations_research::sat::NonOverlappingRectanglesEnergyPropagator::NonOverlappingRectanglesEnergyPropagator ( NoOverlap2DConstraintHelper * helper,
Model * model )
inline

Definition at line 44 of file diffn.h.

◆ ~NonOverlappingRectanglesEnergyPropagator()

operations_research::sat::NonOverlappingRectanglesEnergyPropagator::~NonOverlappingRectanglesEnergyPropagator ( )
override

Definition at line 374 of file diffn.cc.

Member Function Documentation

◆ Propagate()

bool operations_research::sat::NonOverlappingRectanglesEnergyPropagator::Propagate ( )
finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 394 of file diffn.cc.

◆ RegisterWith()

int operations_research::sat::NonOverlappingRectanglesEnergyPropagator::RegisterWith ( GenericLiteralWatcher * watcher)

Definition at line 636 of file diffn.cc.

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