abs.hpp File Reference

(Revision: 10046)

#include <algorithm>

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Arithmetic
Functions
template<class View, template< class View0, class View1 > class Eq>
ExecStatus	Gecode::Int::Arithmetic::prop_abs_bnd (Space &home, Propagator &p, View x0, View x1)