42 #ifndef __GECODE_FLOAT_ARITHMETIC_HH__ 43 #define __GECODE_FLOAT_ARITHMETIC_HH__ 54 namespace Gecode {
namespace Float {
namespace Arithmetic {
61 template<
class VA,
class VB>
112 template<
class A,
class B>
139 template<
class A,
class B>
168 template<
class A,
class B>
196 template<
class A,
class B>
247 template<
class VA,
class VB,
class VC>
303 template<
class A,
class B,
class C>
330 template<
class A,
class B,
class C>
359 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.