Go to the documentation of this file.
38 #ifndef __GECODE_FLOAT_TRIGONOMETRIC_HH__
39 #define __GECODE_FLOAT_TRIGONOMETRIC_HH__
47 namespace Gecode {
namespace Float {
namespace Trigonometric {
57 template<
class A,
class B>
85 template<
class A,
class B>
112 template<
class A,
class B>
140 template<
class A,
class B>
167 template<
class A,
class B>
194 template<
class A,
class B>
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Propagator for bounds consistent cosinus operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
Propagator for bounds consistent arc cosinus operator
Base-class for both propagators and branchers.
Propagator for bounds consistent tangent operator
Gecode toplevel namespace
Cos(Space &home, bool share, Cos &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Home class for posting propagators
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for bounds consistent arc tangent operator
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
ModEventDelta med
A set of modification events (used during propagation)
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Sin(Space &home, bool share, Sin &p)
Constructor for cloning p.
ACos(Space &home, bool share, ACos &p)
Constructor for cloning p.
Propagator for bounds consistent sinus operator
ASin(Space &home, bool share, ASin &p)
Constructor for cloning p.
ATan(Space &home, bool share, ATan &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Tan(Space &home, bool share, Tan &p)
Constructor for cloning p.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Propagator for bounds consistent arc sinus operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int ModEventDelta
Modification event deltas.
int p
Number of positive literals for node type.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .