Relation constraints
[Using finite integer sets with complete domain representation]

Functions
void	Gecode::rel (Space *home, CpltSetVar x, CpltSetRelType r, CpltSetVar y)
	Post propagator for .
void	Gecode::rel (Space *home, CpltSetVar x, SetRelType r, CpltSetVar y)
	Post propagator for .

---

Function Documentation

GECODE_CPLTSET_EXPORT void Gecode::rel	(	Space *	home,
		CpltSetVar	x,
		CpltSetRelType	r,
		CpltSetVar	y
	)

Post propagator for .

Definition at line 500 of file rel.cc.

GECODE_CPLTSET_EXPORT void Gecode::rel	(	Space *	home,
		CpltSetVar	x,
		SetRelType	r,
		CpltSetVar	y
	)

Post propagator for .

Definition at line 524 of file rel.cc.