Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15

Functions

void Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y)
 Post propagator for $ x \sim_r y$. More...
 
void Gecode::rel (Home home, SetVar x, SetRelType rt, SetVar y, Reify r)
 Post propagator for $ (x \sim_{rt} y) \equiv r$. More...
 
void Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x)
 Post propagator for $ s \sim_r \{x\}$. More...
 
void Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s)
 Post propagator for $ \{x\} \sim_r s$. More...
 
void Gecode::rel (Home home, SetVar s, SetRelType rt, IntVar x, Reify r)
 Post propagator for $ (s \sim_{rt} \{x\}) \equiv r$. More...
 
void Gecode::rel (Home home, IntVar x, SetRelType rt, SetVar s, Reify r)
 Post propagator for $ (\{x\} \sim_{rt} s) \equiv r $. More...
 
void Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x)
 Post propagator for $|s|\geq 1 \land \forall i\in s:\ i \sim_{rt} x$. More...
 
void Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s)
 Post propagator for $|s|\geq 1 \land \forall i\in s:\ x \sim_{rt} i$. More...
 
void Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x, Reify r)
 Post reified propagator for $\left(|s|\geq 1 \land \forall i\in s:\ i \sim_{rt} x\right)\equiv r$. More...
 
void Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s, Reify r)
 Post reified propagator for. More...
 

Detailed Description

Function Documentation

◆ rel() [1/10]

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

Post propagator for $ x \sim_r y$.

Definition at line 175 of file rel.cpp.

◆ rel() [2/10]

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

Post propagator for $ (x \sim_{rt} y) \equiv r$.

Definition at line 204 of file rel.cpp.

◆ rel() [3/10]

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

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

Definition at line 181 of file rel.cpp.

◆ rel() [4/10]

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

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

Definition at line 189 of file rel.cpp.

◆ rel() [5/10]

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

Post propagator for $ (s \sim_{rt} \{x\}) \equiv r$.

Definition at line 221 of file rel.cpp.

◆ rel() [6/10]

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

Post propagator for $ (\{x\} \sim_{rt} s) \equiv r $.

Definition at line 240 of file rel.cpp.

◆ rel() [7/10]

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

Post propagator for $|s|\geq 1 \land \forall i\in s:\ i \sim_{rt} x$.

Definition at line 48 of file int.cpp.

◆ rel() [8/10]

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

Post propagator for $|s|\geq 1 \land \forall i\in s:\ x \sim_{rt} i$.

Definition at line 41 of file int.hpp.

◆ rel() [9/10]

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

Post reified propagator for $\left(|s|\geq 1 \land \forall i\in s:\ i \sim_{rt} x\right)\equiv r$.

Definition at line 140 of file int.cpp.

◆ rel() [10/10]

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

Post reified propagator for.

Definition at line 46 of file int.hpp.