Generated on Sun Mar 10 2013 14:26:34 for Gecode by doxygen 1.7.6.1
gcc.hh File Reference

(Revision: 9878)

Go to the source code of this file.

Classes

class  Gecode::Int::GCC::Val< Card >
 Value consistent global cardinality propagator. More...
class  Gecode::Int::GCC::Bnd< Card >
 Bounds consistent global cardinality propagator. More...
class  Gecode::Int::GCC::Dom< Card >
 Domain consistent global cardinality propagator. More...

Namespaces

namespace  Gecode::Int::GCC
 

Global cardinality propagators (Counting)


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.