38 namespace Gecode {
namespace Float {
namespace Trigonometric {
45 template<
class A,
class B>
50 template<
class A,
class B>
64 template<
class A,
class B>
69 template<
class A,
class B>
72 return new (home)
ASin<A,B>(home,share,*
this);
75 template<
class A,
class B>
78 if ((x0.max() < -1) || (x0.min() > 1))
return ES_FAILED;
90 template<
class A,
class B>
95 template<
class A,
class B>
115 template<
class A,
class B>
120 template<
class A,
class B>
123 return new (home)
ACos<A,B>(home,share,*
this);
126 template<
class A,
class B>
129 if ((x0.max() < -1) || (x0.min() > 1))
return ES_FAILED;
Propagator for bounds consistent arc cosinus operator
void mod(Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl)
Post propagator for .
ACos(Space &home, bool share, ACos &p)
Constructor for cloning p.
ExecStatus ES_SUBSUMED(Propagator &p)
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagation has computed fixpoint.
#define GECODE_ME_CHECK_MODIFIED(modified, me)
Check whether me is failed or modified, and forward failure.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
bool same(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether two views are the same.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
Execution has resulted in failure.
Propagator for bounds consistent arc sinus operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
void asin(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
void cos(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
ASin(Space &home, bool share, ASin &p)
Constructor for cloning p.
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
void sin(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void acos(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
int ModEventDelta
Modification event deltas.
Home class for posting propagators