Generated on Fri Jul 13 2018 06:08:42 for Gecode by doxygen 1.8.14
Gecode::Set::Int Namespace Reference

Propagators connecting set and int variables. More...

Classes

class  Card
 Propagator for cardinality More...
 
class  IntLess
 Sort order for integers. More...
 
class  MaxElement
 Propagator for maximum element More...
 
class  MinElement
 Propagator for minimum element More...
 
class  NotMaxElement
 Propagator for not maximum element More...
 
class  NotMinElement
 Propagator for not minimum element More...
 
class  OverweightValues
 Value Iterator for values above a certain weight. More...
 
class  ReMaxElement
 Reified propagator for maximum element More...
 
class  ReMinElement
 Propagator for reified minimum element More...
 
class  Weights
 Propagator for weight of a set More...
 

Functions

template<class I >
int weightI (SharedArray< int > &elements, SharedArray< int > &weights, I &iter)
 Compute the weight of the elements in the iterator I. More...
 
void remin (Home home, SetVar s, IntVar m, Reify r)
 Reify m to be the minimum of s. More...
 
void remax (Home home, SetVar s, IntVar m, Reify r)
 Reify m to be the maximum of s. More...
 

Detailed Description

Propagators connecting set and int variables.

Function Documentation

◆ weightI()

template<class I >
int Gecode::Set::Int::weightI ( SharedArray< int > &  elements,
SharedArray< int > &  weights,
I &  iter 
)
inline

Compute the weight of the elements in the iterator I.

Definition at line 223 of file weights.hpp.

◆ remin()

void Gecode::Set::Int::remin ( Home  home,
SetVar  s,
IntVar  m,
Reify  r 
)

Reify m to be the minimum of s.

Definition at line 112 of file int.cpp.

◆ remax()

void Gecode::Set::Int::remax ( Home  home,
SetVar  s,
IntVar  m,
Reify  r 
)

Reify m to be the maximum of s.

Definition at line 124 of file int.cpp.