38 #ifndef __GECODE_FLOAT_ARITHMETIC_HH__ 39 #define __GECODE_FLOAT_ARITHMETIC_HH__ 50 namespace Gecode {
namespace Float {
namespace Arithmetic {
57 template<
class VA,
class VB>
108 template<
class A,
class B>
135 template<
class A,
class B>
164 template<
class A,
class B>
192 template<
class A,
class B>
243 template<
class VA,
class VB,
class VC>
299 template<
class A,
class B,
class C>
326 template<
class A,
class B,
class C>
355 template<
class A,
class B,
class C>
Propagator for bounds consistent max operator
Base-class for propagators.
Bounds consistent positive multiplication propagator.
Base-class for both propagators and branchers.
static ExecStatus post(Home home, VA x0, VB x1)
Post propagator .
int p
Number of positive literals for node type.
Bounds consistent positive square propagator.
int n
Number of negative literals for node type.
Propagator for bounds consistent square operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for bounds consistent pow operator
Mixed ternary propagator.
Bounds or domain consistent propagator for .
ModEventDelta med
A set of modification events (used during propagation)
Propagator for bounds consistent square root operator
Bounds consistent multiplication propagator.
Propagator for bounds consistent absolute operator
Post propagator for SetVar SetOpType SetVar y
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Post propagator for SetVar x
Gecode toplevel namespace
Propagator for bounds division operator
Bounds consistent n-ary maximum propagator.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Propagator for bounds consistent min operator
Propagator for bounds consistent nth root operator
SqrPlus(Home home, VA x0, VB x1)
Constructor for posting.