Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
int.cpp File Reference
#include <gecode/set.hh>
#include <gecode/set/int.hh>
#include <gecode/set/rel.hh>

Go to the source code of this file.

Namespaces

 Gecode::Set
 Finite integer sets.
 
 Gecode::Set::Int
 Propagators connecting set and int variables.
 

Functions

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::Set::Int::remin (Home home, SetVar s, IntVar m, Reify r)
 Reify m to be the minimum of s. More...
 
void Gecode::Set::Int::remax (Home home, SetVar s, IntVar m, Reify r)
 Reify m to be the maximum of s. 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::min (Home home, SetVar s, IntVar x)
 
void Gecode::notMin (Home home, SetVar s, IntVar x)
 
void Gecode::min (Home home, SetVar s, IntVar x, Reify r)
 
void Gecode::max (Home home, SetVar s, IntVar x)
 
void Gecode::notMax (Home home, SetVar s, IntVar x)
 
void Gecode::max (Home home, SetVar s, IntVar x, Reify r)
 
void Gecode::weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
 

Function Documentation

◆ rel() [1/2]

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 44 of file int.cpp.

◆ rel() [2/2]

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 136 of file int.cpp.

◆ min() [1/2]

void Gecode::min ( Home  home,
SetVar  s,
IntVar  x 
)

Definition at line 229 of file int.cpp.

◆ notMin()

void Gecode::notMin ( Home  home,
SetVar  s,
IntVar  x 
)

Definition at line 235 of file int.cpp.

◆ min() [2/2]

void Gecode::min ( Home  home,
SetVar  s,
IntVar  x,
Reify  r 
)

Definition at line 241 of file int.cpp.

◆ max() [1/2]

void Gecode::max ( Home  home,
SetVar  s,
IntVar  x 
)

Definition at line 261 of file int.cpp.

◆ notMax()

void Gecode::notMax ( Home  home,
SetVar  s,
IntVar  x 
)

Definition at line 267 of file int.cpp.

◆ max() [2/2]

void Gecode::max ( Home  home,
SetVar  s,
IntVar  x,
Reify  r 
)

Definition at line 273 of file int.cpp.

◆ weights()

void Gecode::weights ( Home  home,
IntSharedArray  elements,
IntSharedArray  weights,
SetVar  x,
IntVar  y 
)

Definition at line 292 of file int.cpp.