34 #ifndef __GECODE_FLOAT_TRIGONOMETRIC_HH__ 35 #define __GECODE_FLOAT_TRIGONOMETRIC_HH__ 43 namespace Gecode {
namespace Float {
namespace Trigonometric {
53 template<
class A,
class B>
82 template<
class A,
class B>
110 template<
class A,
class B>
138 template<
class A,
class B>
165 template<
class A,
class B>
193 template<
class A,
class B>
Propagator for bounds consistent cosinus operator
Propagator for bounds consistent arc cosinus operator
Propagator for bounds consistent arc tangent operator
static ExecStatus dopropagate(Space &home, A x0, B x1)
Perform actual propagation.
virtual Actor * copy(Space &home)
Create copy during cloning.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Sin(Space &home, Sin &p)
Constructor for cloning p.
Base-class for both propagators and branchers.
Propagator for bounds consistent tangent operator
int p
Number of positive literals for node type.
ModEventDelta med
A set of modification events (used during propagation)
Propagator for bounds consistent arc sinus operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for bounds consistent sinus operator
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators