divmod.icc File Reference
(Revision: 7368)
#include "gecode/int/linear.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::Arithmetic |
Functions | |
template<class Val, class VA, class VB, class VC, bool towardsMinInf> | |
ExecStatus | Gecode::Int::Arithmetic::prop_div_plus_bnd (Space *home, Propagator *p, VA x0, VB x1, VC x2) |