34#ifndef __GECODE_FLOAT_TRIGONOMETRIC_HH__
35#define __GECODE_FLOAT_TRIGONOMETRIC_HH__
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>
ACos(Space &home, ACos &p)
Constructor for cloning p.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Create copy during cloning.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
ASin(Space &home, ASin &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
ATan(Space &home, ATan &p)
Constructor for cloning p.
static ExecStatus dopropagate(Space &home, A x0, B x1)
Perform actual propagation.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Cos(Space &home, Cos &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Create copy during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus dopropagate(Space &home, A x0, B x1)
Perform actual propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
virtual Actor * copy(Space &home)
Create copy during cloning.
Sin(Space &home, Sin &p)
Constructor for cloning p.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus dopropagate(Space &home, A x0, B x1)
Perform actual propagation.
virtual Actor * copy(Space &home)
Create copy during cloning.
Tan(Space &home, Tan &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Home class for posting propagators
MixBinaryPropagator(Space &home, MixBinaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
int ModEventDelta
Modification event deltas.
Trigonometric propagators
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace