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