Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

gcc.hh File Reference

(Revision: 2696)

#include "int.hh"
#include "int/gcc/ubc.icc"
#include "int/gcc/lbc.icc"
#include "int/gcc/val.icc"
#include "int/gcc/bnd.icc"
#include "int/gcc/dom.icc"

Go to the source code of this file.

Namespaces

namespace  Gecode::Int::GCC
namespace  Gecode
namespace  Gecode::Int

Classes

class  Gecode::Int::GCC::Bnd< View, Card, isView >
 Bounds-consistent global cardinality propagator. More...
class  Gecode::Int::GCC::BndImp< View, Card, isView, shared >
 Implementation of bounds-consistent global cardinality propagator. More...
class  Gecode::Int::GCC::Dom< View, Card, isView >
 Domain-consistent global cardinality propagator. More...
class  Gecode::Int::GCC::Val< View, Card, isView >
 Value consistent global cardinality propagator. More...

Typedefs

typedef Gecode::Int::GCC::OccurArray<
Gecode::Int::GCC::OccurBnds<
int, 2 > > 
FixCard
 Type definition for an array with fixed cardinalities.
typedef Gecode::Int::GCC::CardArray<
Gecode::Int::GCC::CardView
VarCard
 Type definition for an arry of variable cardinalities.
typedef Gecode::ViewArray<
Gecode::Int::GCC::IdxView
GccIdxView
 Type definition for indexed integer variables needed during propagation.

Functions

template<class View, class Card, bool shared, bool isView>
ExecStatus Gecode::Int::GCC::prop_bnd (Space *home, ViewArray< View > &x, Card &k, PartialSum< Card > *lps, PartialSum< Card > *ups)
template<class View, class Card, bool isView>
ExecStatus Gecode::Int::GCC::prop_val (Space *home, ViewArray< View > &x, Card &k)


Typedef Documentation

typedef Gecode::Int::GCC::OccurArray< Gecode::Int::GCC::OccurBnds<int, 2> > FixCard
 

Type definition for an array with fixed cardinalities.

Definition at line 40 of file gcc.hh.

typedef Gecode::Int::GCC::CardArray<Gecode::Int::GCC::CardView> VarCard
 

Type definition for an arry of variable cardinalities.

Definition at line 42 of file gcc.hh.

typedef Gecode::ViewArray<Gecode::Int::GCC::IdxView> GccIdxView
 

Type definition for indexed integer variables needed during propagation.

Definition at line 44 of file gcc.hh.