AllDifferentConstraint

Detailed Description

Definition at line 62 of file all_different.h.

Public Member Functions
	AllDifferentConstraint (std::vector< IntegerVariable > variables, IntegerEncoder *encoder, Trail *trail, IntegerTrail *integer_trail)
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)

Constructor & Destructor Documentation

AllDifferentConstraint()

AllDifferentConstraint	(	std::vector< IntegerVariable >	variables,
		IntegerEncoder *	encoder,
		Trail *	trail,
		IntegerTrail *	integer_trail
	)

Definition at line 89 of file all_different.cc.

Member Function Documentation

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

Definition at line 237 of file all_different.cc.

RegisterWith()

void RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 148 of file all_different.cc.

---

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

• all_different.h
• all_different.cc