Generated on Thu Apr 11 13:59:52 2019 for Gecode by doxygen 1.6.3

Gecode::Float::Bool::Ite< View > Class Template Reference
[Float propagators]

If-then-else propagator. More...

#include <bool.hh>

List of all members.

Public Member Functions

virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low ternary).
virtual void reschedule (Space &home)
 Schedule function.
virtual Actorcopy (Space &home)
 Copy propagator during cloning.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Static Public Member Functions

static ExecStatus post (Home home, Int::BoolView b, View x0, View x1, View x2)
 Post if-then-else propagator.

Protected Member Functions

 Ite (Space &home, Ite &p)
 Constructor for cloning p.
 Ite (Home home, Int::BoolView b, View x0, View x1, View x2)
 Constructor for creation.

Protected Attributes

Int::BoolView b
 View for condition.
View x0
 Views.
View x1
View x2

Detailed Description

template<class View>
class Gecode::Float::Bool::Ite< View >

If-then-else propagator.

Requires

Definition at line 53 of file bool.hh.


Constructor & Destructor Documentation

template<class View >
Gecode::Float::Bool::Ite< View >::Ite ( Space home,
Ite< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 50 of file ite.hpp.

template<class View >
Gecode::Float::Bool::Ite< View >::Ite ( Home  home,
Int::BoolView  b,
View  x0,
View  x1,
View  x2 
) [inline, protected]

Constructor for creation.

Definition at line 40 of file ite.hpp.


Member Function Documentation

template<class View >
PropCost Gecode::Float::Bool::Ite< View >::cost ( const Space home,
const ModEventDelta med 
) const [inline, virtual]

Cost function (defined as low ternary).

Implements Gecode::Propagator.

Definition at line 60 of file ite.hpp.

template<class View >
void Gecode::Float::Bool::Ite< View >::reschedule ( Space home  )  [inline, virtual]

Schedule function.

Implements Gecode::Propagator.

Definition at line 66 of file ite.hpp.

template<class View >
Actor * Gecode::Float::Bool::Ite< View >::copy ( Space home  )  [inline, virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 88 of file ite.hpp.

template<class View >
ExecStatus Gecode::Float::Bool::Ite< View >::propagate ( Space home,
const ModEventDelta med 
) [inline, virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 107 of file ite.hpp.

template<class View >
ExecStatus Gecode::Float::Bool::Ite< View >::post ( Home  home,
Int::BoolView  b,
View  x0,
View  x1,
View  x2 
) [inline, static]

Post if-then-else propagator.

Definition at line 94 of file ite.hpp.

template<class View >
size_t Gecode::Float::Bool::Ite< View >::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 75 of file ite.hpp.


Member Data Documentation

template<class View>
Int::BoolView Gecode::Float::Bool::Ite< View >::b [protected]

View for condition.

Definition at line 56 of file bool.hh.

template<class View>
View Gecode::Float::Bool::Ite< View >::x0 [protected]

Views.

Definition at line 58 of file bool.hh.

template<class View>
View Gecode::Float::Bool::Ite< View >::x1 [protected]

Definition at line 58 of file bool.hh.

template<class View>
View Gecode::Float::Bool::Ite< View >::x2 [protected]

Definition at line 58 of file bool.hh.


The documentation for this class was generated from the following files: