AllDifferentBoundsPropagator

Detailed Description

Definition at line 147 of file all_different.h.

Public Member Functions
	AllDifferentBoundsPropagator (const std::vector< IntegerVariable > &vars, IntegerTrail *integer_trail)
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

AllDifferentBoundsPropagator()

AllDifferentBoundsPropagator	(	const std::vector< IntegerVariable > &	vars,
		IntegerTrail *	integer_trail
	)

Definition at line 418 of file all_different.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 435 of file all_different.cc.

RegisterWith()

void RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 635 of file all_different.cc.

---

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

• all_different.h
• all_different.cc