Generated on Sat Aug 25 2012 03:32:59 for Gecode by doxygen 1.8.1.2
Relation constraints

Functions

void Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y)
 Post propagator for $ x \sim_r y$.
void Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y, BoolVar b)
 Post propagator for $ (x \sim_r y) \Leftrightarrow b $.
void Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x)
 Post propagator for $ s \sim_r \{x\}$.
void Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s)
 Post propagator for $ \{x\} \sim_r s$.
void Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x, BoolVar b)
 Post propagator for $ (s \sim_r \{x\}) \Leftrightarrow b $.
void Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s, BoolVar b)
 Post propagator for $ (\{x\} \sim_r s) \Leftrightarrow b $.
void Gecode::rel (Home home, SetVar s, IntRelType r, IntVar x)
 Post propagator for $|s|\geq 1 \land \forall i\in s:\ i \sim_r x$.
void Gecode::rel (Home home, IntVar x, IntRelType r, SetVar s)
 Post propagator for $|s|\geq 1 \land \forall i\in s:\ x \sim_r i$.

Detailed Description

Function Documentation

void Gecode::rel ( Home  home,
SetVar  x,
SetRelType  r,
SetVar  y 
)

Post propagator for $ x \sim_r y$.

Definition at line 179 of file rel.cpp.

void Gecode::rel ( Home  home,
SetVar  x,
SetRelType  r,
SetVar  y,
BoolVar  b 
)

Post propagator for $ (x \sim_r y) \Leftrightarrow b $.

Definition at line 205 of file rel.cpp.

void Gecode::rel ( Home  home,
SetVar  s,
SetRelType  r,
IntVar  x 
)

Post propagator for $ s \sim_r \{x\}$.

Definition at line 184 of file rel.cpp.

void Gecode::rel ( Home  home,
IntVar  x,
SetRelType  r,
SetVar  s 
)

Post propagator for $ \{x\} \sim_r s$.

Definition at line 191 of file rel.cpp.

void Gecode::rel ( Home  home,
SetVar  s,
SetRelType  r,
IntVar  x,
BoolVar  b 
)

Post propagator for $ (s \sim_r \{x\}) \Leftrightarrow b $.

Definition at line 210 of file rel.cpp.

void Gecode::rel ( Home  home,
IntVar  x,
SetRelType  r,
SetVar  s,
BoolVar  b 
)

Post propagator for $ (\{x\} \sim_r s) \Leftrightarrow b $.

Definition at line 217 of file rel.cpp.

void Gecode::rel ( Home  home,
SetVar  s,
IntRelType  r,
IntVar  x 
)

Post propagator for $|s|\geq 1 \land \forall i\in s:\ i \sim_r x$.

Definition at line 50 of file int.cpp.

void Gecode::rel ( Home  home,
IntVar  x,
IntRelType  r,
SetVar  s 
)

Post propagator for $|s|\geq 1 \land \forall i\in s:\ x \sim_r i$.

Definition at line 110 of file int.cpp.