Generated on Sat Feb 12 2011 17:41:07 for Gecode by doxygen 1.7.3

int.hpp File Reference

(Revision: 10982)

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.