Generated on Fri Oct 19 11:25:27 2018 for Gecode by doxygen 1.6.3

int.hpp File Reference

Go to the source code of this file.


namespace  Gecode

Gecode toplevel namespace

namespace  Gecode::Int

Finite domain integers.

namespace  Gecode::Int::Element

Element propagators


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.