int.hpp File Reference

(Revision: 9902)

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Element
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.