Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

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{o}} 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{o}} 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{o}} 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{o}} 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{o}} 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{o}} 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{o}} 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{o}} y) \sim_r z $.

Definition at line 519 of file rel.cc.