Go to the documentation of this file.
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>
static ExecStatus post(Home home, View x0, View x1)
Post propagator .
NthRoot(Space &home, NthRoot &p)
Constructor for cloning p.
static ExecStatus post(Home home, VA x0, VB x1)
Post propagator .
static ExecStatus post(Home home, A x0, B x1, int n)
Post propagator for .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
MultPlus(Home home, VA x0, VB x1, VC x2)
Constructor for posting.
Propagator for bounds division operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
MultZeroOne(Space &home, MultZeroOne< View > &p)
Constructor for cloning p.
Propagator for bounds consistent square root operator
virtual Actor * copy(Space &home)
Create copy during cloning.
Propagator for bounds consistent max operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for bounds consistent min operator
Abs(Space &home, Propagator &p, A x0, B x1)
Constructor for rewriting p during cloning.
virtual Actor * copy(Space &home)
Create copy during cloning.
Max(Space &home, Max &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Div(Space &home, Div &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Base-class for both propagators and branchers.
Sqr(Space &home, Sqr &p)
Constructor for cloning p.
ViewArray< View > x
Array of views.
static ExecStatus post(Home home, View x0, View x1, View x2)
Post propagator .
Mixed ternary propagator.
SqrPlus(Home home, VA x0, VB x1)
Constructor for posting.
Propagator for bounds consistent square operator
Gecode toplevel namespace
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Base-class for propagators.
Sqrt(Space &home, Sqrt &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Abs(Space &home, Abs &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Home class for posting propagators
Mult(Space &home, Mult< View > &p)
Constructor for cloning p.
Bounds or domain consistent propagator for .
Propagator for bounds consistent pow operator
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Bounds consistent n-ary maximum propagator.
ModEventDelta med
A set of modification events (used during propagation)
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, VA x0, VB x1, VC x2)
Post propagator .
static ExecStatus post(Home home, ViewArray< View > &x, View y)
Post propagator .
Pow(Space &home, Pow &p)
Constructor for cloning p.
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Bounds consistent positive multiplication propagator.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Bounds consistent positive square propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Min(Space &home, Min &p)
Constructor for cloning p.
Propagator for bounds consistent nth root operator
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int n
Number of negative literals for node type.
virtual Actor * copy(Space &home)
Create copy during cloning.
Propagator for bounds consistent absolute operator
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
static ExecStatus post(Home home, View x0, View x1)
Post propagator for .
int ModEventDelta
Modification event deltas.
virtual Actor * copy(Space &home)
Create copy during cloning.
int p
Number of positive literals for node type.
NaryMax(Space &home, NaryMax &p)
Constructor for cloning p.
Bounds consistent multiplication propagator.
static ExecStatus post(Home home, A x0, B x1, int n)
Post propagator for .
virtual Actor * copy(Space &home)
Copy propagator during cloning.