Generated on Mon May 30 22:31:53 2016 for Gecode by doxygen 1.6.1

int.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::Element
 

Element propagators


Functions

template<class V0 , class V1 >
ExecStatus Gecode::Int::Element::post_int (Home home, IntSharedArray &c, V0 x0, V1 x1)
 Post propagator with apropriate index and value types.