Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
dom.cpp File Reference
#include <gecode/set.hh>
#include <gecode/set/rel.hh>

Go to the source code of this file.

Functions

void Gecode::dom (Home home, SetVar x, SetRelType r, int i)
 Propagates $ x \sim_r \{i\}$. More...
 
void Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i)
 Propagates $ x_i \sim_r \{i\}$ for all $0\leq i<|x|$. More...
 
void Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$. More...
 
void Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$ for all $0\leq i<|x|$. More...
 
void Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s)
 Propagates $ x \sim_r s$. More...
 
void Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, const IntSet &s)
 Propagates $ x \sim_r s$ for all $0\leq i<|x|$. More...
 
void Gecode::dom (Home home, SetVar x, SetRelType rt, int i, Reify r)
 Post propagator for $ (x \sim_{rt} \{i\}) \equiv r $. More...
 
void Gecode::dom (Home home, SetVar x, SetRelType rt, int i, int j, Reify r)
 Post propagator for $ (x \sim_{rt} \{i,\dots,j\}) \equiv r $. More...
 
void Gecode::dom (Home home, SetVar x, SetRelType rt, const IntSet &s, Reify r)
 Post propagator for $ (x \sim_{rt} s) \equiv r $. More...
 
void Gecode::dom (Home home, SetVar x, SetVar d)
 Constrain domain of x according to domain of d. More...
 
void Gecode::dom (Home home, const SetVarArgs &x, const SetVarArgs &d)
 Constrain domain of $ x_i $ according to domain of $ d_i $ for all $0\leq i<|x|$. More...
 

Function Documentation

◆ dom() [1/11]

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  r,
int  i 
)

Propagates $ x \sim_r \{i\}$.

Definition at line 43 of file dom.cpp.

◆ dom() [2/11]

void Gecode::dom ( Home  home,
const SetVarArgs s,
SetRelType  r,
int  i 
)

Propagates $ x_i \sim_r \{i\}$ for all $0\leq i<|x|$.

Definition at line 50 of file dom.cpp.

◆ dom() [3/11]

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  r,
int  i,
int  j 
)

Propagates $ x \sim_r \{i,\dots,j\}$.

Definition at line 57 of file dom.cpp.

◆ dom() [4/11]

void Gecode::dom ( Home  home,
const SetVarArgs s,
SetRelType  r,
int  i,
int  j 
)

Propagates $ x \sim_r \{i,\dots,j\}$ for all $0\leq i<|x|$.

Definition at line 65 of file dom.cpp.

◆ dom() [5/11]

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  r,
const IntSet is 
)

Propagates $ x \sim_r s$.

Definition at line 73 of file dom.cpp.

◆ dom() [6/11]

void Gecode::dom ( Home  home,
const SetVarArgs s,
SetRelType  r,
const IntSet is 
)

Propagates $ x \sim_r s$ for all $0\leq i<|x|$.

Definition at line 190 of file dom.cpp.

◆ dom() [7/11]

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  rt,
int  i,
Reify  r 
)

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

Definition at line 343 of file dom.cpp.

◆ dom() [8/11]

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  rt,
int  i,
int  j,
Reify  r 
)

Post propagator for $ (x \sim_{rt} \{i,\dots,j\}) \equiv r $.

Definition at line 350 of file dom.cpp.

◆ dom() [9/11]

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  rt,
const IntSet is,
Reify  r 
)

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

Definition at line 358 of file dom.cpp.

◆ dom() [10/11]

void Gecode::dom ( Home  home,
SetVar  x,
SetVar  d 
)

Constrain domain of x according to domain of d.

Definition at line 630 of file dom.cpp.

◆ dom() [11/11]

void Gecode::dom ( Home  home,
const SetVarArgs x,
const SetVarArgs d 
)

Constrain domain of $ x_i $ according to domain of $ d_i $ for all $0\leq i<|x|$.

Definition at line 645 of file dom.cpp.