Generated on Wed Nov 5 2014 05:18:33 for Gecode by doxygen 1.7.6.1
val.hpp File Reference

(Revision: 13068)

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


namespace  Gecode::Int::Distinct
 

Distinct propagators


Functions

template<class View , bool complete>
ExecStatus Gecode::Int::Distinct::prop_val (Space &home, ViewArray< View > &)
 Eliminate singletons by naive value propagation.