Standard set relation propagators. More...

Classes
class	CharacteristicSets
	Representation of the characteristic functions of two sets. More...

class	Subset
	Propagator for the subset constraint More...

class	NoSubset
	Propagator for the negated subset constraint More...

class	ReSubset
	Reified subset propagator More...

class	Eq
	Propagator for set equality More...

class	ReEq
	Reified equality propagator More...

class	Lq
	Propagator for set less than or equal More...

class	ReLq
	Reified propagator for set less than or equal More...

class	Distinct
	Propagator for negated equality More...

class	DistinctDoit
	Propagator for negated equality More...

Functions
bool	subsumesME (ModEvent me0, ModEvent me1, ModEvent me2, ModEvent me)

bool	subsumesME (ModEvent me0, ModEvent me1, ModEvent me)

bool	subsumesME (ModEvent me0, ModEvent me)

bool	testSetEventLB (ModEvent me0, ModEvent me1, ModEvent me2)

bool	testSetEventUB (ModEvent me0, ModEvent me1, ModEvent me2)

bool	testSetEventAnyB (ModEvent me0, ModEvent me1, ModEvent me2)

bool	testSetEventCard (ModEvent me0, ModEvent me1, ModEvent me2)

bool	testSetEventLB (ModEvent me0, ModEvent me1)

bool	testSetEventUB (ModEvent me0, ModEvent me1)

bool	testSetEventAnyB (ModEvent me0, ModEvent me1)

bool	testSetEventCard (ModEvent me0, ModEvent me1)

bool	testSetEventLB (ModEvent me0)

bool	testSetEventUB (ModEvent me0)

bool	testSetEventAnyB (ModEvent me0)

bool	testSetEventCard (ModEvent me0)

Detailed Description

Standard set relation propagators.

Function Documentation

bool Gecode::Set::Rel::subsumesME	(	ModEvent	me0,
		ModEvent	me1,
		ModEvent	me2,
		ModEvent	me
	)

inline

Definition at line 60 of file common.hpp.

bool Gecode::Set::Rel::subsumesME	(	ModEvent	me0,
		ModEvent	me1,
		ModEvent	me
	)

inline

Definition at line 65 of file common.hpp.

bool Gecode::Set::Rel::subsumesME	(	ModEvent	me0,
		ModEvent	me
	)

inline

Definition at line 70 of file common.hpp.

bool Gecode::Set::Rel::testSetEventLB	(	ModEvent	me0,
		ModEvent	me1,
		ModEvent	me2
	)

inline

Definition at line 75 of file common.hpp.

bool Gecode::Set::Rel::testSetEventUB	(	ModEvent	me0,
		ModEvent	me1,
		ModEvent	me2
	)

inline

Definition at line 79 of file common.hpp.

bool Gecode::Set::Rel::testSetEventAnyB	(	ModEvent	me0,
		ModEvent	me1,
		ModEvent	me2
	)

inline

Definition at line 83 of file common.hpp.

bool Gecode::Set::Rel::testSetEventCard	(	ModEvent	me0,
		ModEvent	me1,
		ModEvent	me2
	)

inline

Definition at line 87 of file common.hpp.

bool Gecode::Set::Rel::testSetEventLB	(	ModEvent	me0,
		ModEvent	me1
	)

inline

Definition at line 91 of file common.hpp.

bool Gecode::Set::Rel::testSetEventUB	(	ModEvent	me0,
		ModEvent	me1
	)

inline

Definition at line 95 of file common.hpp.

bool Gecode::Set::Rel::testSetEventAnyB	(	ModEvent	me0,
		ModEvent	me1
	)

inline

Definition at line 99 of file common.hpp.

bool Gecode::Set::Rel::testSetEventCard	(	ModEvent	me0,
		ModEvent	me1
	)

inline

Definition at line 103 of file common.hpp.

bool Gecode::Set::Rel::testSetEventLB ( ModEvent me0 )

inline

Definition at line 107 of file common.hpp.

bool Gecode::Set::Rel::testSetEventUB ( ModEvent me0 )

inline

Definition at line 111 of file common.hpp.

bool Gecode::Set::Rel::testSetEventAnyB ( ModEvent me0 )

inline

Definition at line 115 of file common.hpp.

bool Gecode::Set::Rel::testSetEventCard ( ModEvent me0 )

inline

Definition at line 119 of file common.hpp.

Classes

Functions

Detailed Description

Function Documentation