NonOverlappingRectanglesEnergyPropagator

Detailed Description

Definition at line 33 of file diffn.h.

Public Member Functions
	NonOverlappingRectanglesEnergyPropagator (SchedulingConstraintHelper *x, SchedulingConstraintHelper *y)
	~NonOverlappingRectanglesEnergyPropagator () override
bool	Propagate () final
int	RegisterWith (GenericLiteralWatcher *watcher)
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

NonOverlappingRectanglesEnergyPropagator()

NonOverlappingRectanglesEnergyPropagator ( SchedulingConstraintHelper *  x, SchedulingConstraintHelper *  y  )

inline

Definition at line 38 of file diffn.h.

~NonOverlappingRectanglesEnergyPropagator()

~NonOverlappingRectanglesEnergyPropagator ( )

override

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

Member Function Documentation

IncrementalPropagate()

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

inlinevirtualinherited

Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.

Definition at line 1083 of file integer.h.

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

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

RegisterWith()

int RegisterWith

(

GenericLiteralWatcher *

watcher

)

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

---

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

• diffn.h
• sat/diffn.cc