Generated on Mon May 5 05:54:08 2008 for Gecode by doxygen 1.5.5

CpltSet operation/relation constraints
[Using finite integer sets with complete domain representation]


Functions

void Gecode::rel (Space *home, CpltSetVar x, CpltSetOpType o, CpltSetVar y, CpltSetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, CpltSetOpType o, CpltSetVar y, SetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, SetOpType o, CpltSetVar y, CpltSetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, SetOpType o, CpltSetVar y, SetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.


Function Documentation

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

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 504 of file rel.cc.

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

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 509 of file rel.cc.

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

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 514 of file rel.cc.

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

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 519 of file rel.cc.