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()

NonOverlappingRectanglesDisjunctivePropagator	(	bool	strict,
		SchedulingConstraintHelper *	x,
		SchedulingConstraintHelper *	y,
		Model *	model
	)

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

~NonOverlappingRectanglesDisjunctivePropagator()

~NonOverlappingRectanglesDisjunctivePropagator ( )

override

Definition at line 313 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 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:

• diffn.h
• sat/diffn.cc