main page modules namespaces classes files
Gecode home

search for 

gcc.hh File Reference

(Revision: 3512)

#include "gecode/int.hh"
#include "gecode/support/sort.hh"
#include "gecode/support/static-stack.hh"
#include "gecode/int/gcc/gccbndsup.icc"
#include "gecode/int/gcc/graphsup.icc"
#include "gecode/int/gcc/occur.icc"
#include "gecode/int/gcc/ubc.icc"
#include "gecode/int/gcc/lbc.icc"
#include "gecode/int/gcc/val.icc"
#include "gecode/int/gcc/bnd.icc"
#include "gecode/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 the 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...
Functions
template<class View, class Card, bool isView, bool shared>
ExecStatus	Gecode::Int::GCC::prop_bnd (Space *home, ViewArray< View > &x, ViewArray< Card > &k, PartialSum< Card > *&lps, PartialSum< Card > *&ups, bool card_fixed, bool card_all, bool nolbc)
	Performs bounds-consistent global cardinality propagation.
template<class View, class Card, bool isView>
ExecStatus	Gecode::Int::GCC::prop_val (Space *home, ViewArray< View > &x, ViewArray< Card > &k, bool &_cardall)
	Performs value-consistent global cardinality propagation.