Generated on Tue Apr 18 10:24:10 2017 for Gecode by doxygen 1.6.3
Gecode::Set::Channel::ChannelBool

Gecode::Set::Channel::ChannelBool< View > Class Template Reference
[Set propagators]

Propagator for channelling between set variable and its characteristic function More...

#include <channel.hh>

List of all members.

Classes

class  IndexAdvisor
 Advisor storing a single index More...

Public Member Functions

virtual Actor * copy (Space &home, bool)
 Copy propagator during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as PC_QUADRATIC_LO).
virtual void reschedule (Space &home)
 Schedule function.
virtual size_t dispose (Space &home)
 Delete propagator and return its size.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual ExecStatus advise (Space &home, Advisor &a, const Delta &d)
 Give advice to propagator.

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< Gecode::Int::BoolView > &x, View y)
 Post propagator for $x_i=j \Leftrightarrow i\in y_j$.

Protected Types

typedef MixNaryOnePropagator
< Gecode::Int::BoolView,
Gecode::Int::PC_BOOL_VAL, View,
PC_GEN_NONE > 		Super

Protected Member Functions

 ChannelBool (Space &home, bool share, ChannelBool &p)
 Constructor for cloning p.
 ChannelBool (Home home, ViewArray< Gecode::Int::BoolView > &, View)
 Constructor for posting.

Protected Attributes

Council< IndexAdvisor > co
 Council for managing advisors.
SetDelta delta
 Accumulated delta information.
GLBndSet zeros
 Accumulated zero Booleans.
GLBndSet ones
 Accumulated one Booleans.
bool running
 Flag whether propagation is currently running.

Detailed Description

template<class View>
class Gecode::Set::Channel::ChannelBool< View >

Propagator for channelling between set variable and its characteristic function

Implements channelling constraints between BoolVar and a SetVar. For BoolVars $x_0,\dots,x_n$ and SetVar $y$ it propagates the constraint $x_i=1 \Leftrightarrow i\in y$.

Requires 

 #include <gecode/set/int.hh>

Definition at line 152 of file channel.hh.

Member Typedef Documentation

template<class View>
typedef MixNaryOnePropagator<Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View,PC_GEN_NONE> Gecode::Set::Channel::ChannelBool< View >::Super [protected]

Definition at line 159 of file channel.hh.

Constructor & Destructor Documentation

template<class View >
Gecode::Set::Channel::ChannelBool< View >::ChannelBool ( Space &  home,
bool  share,
ChannelBool< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 116 of file bool.hpp.

template<class View >
Gecode::Set::Channel::ChannelBool< View >::ChannelBool ( Home  home,
ViewArray< Gecode::Int::BoolView > &  x0,
View  y0 
) [inline, protected]

Constructor for posting.

Definition at line 83 of file bool.hpp.

Member Function Documentation

template<class View >
Actor * Gecode::Set::Channel::ChannelBool< View >::copy ( Space &  home,
bool  share 
) [inline, virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 153 of file bool.hpp.

template<class View >
PropCost Gecode::Set::Channel::ChannelBool< View >::cost ( const Space &  home,
const ModEventDelta &  med 
) const [inline, virtual]

Cost function (defined as PC_QUADRATIC_LO).

Reimplemented from Gecode::MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE >.

Definition at line 132 of file bool.hpp.

template<class View >
void Gecode::Set::Channel::ChannelBool< View >::reschedule ( Space &  home  )  [inline, virtual]

Schedule function.

Reimplemented from Gecode::MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE >.

Definition at line 138 of file bool.hpp.

template<class View >
size_t Gecode::Set::Channel::ChannelBool< View >::dispose ( Space &  home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE >.

Definition at line 145 of file bool.hpp.

template<class View >
ExecStatus Gecode::Set::Channel::ChannelBool< View >::propagate ( Space &  home,
const ModEventDelta &  med 
) [inline, virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 159 of file bool.hpp.

template<class View >
ExecStatus Gecode::Set::Channel::ChannelBool< View >::advise ( Space &  home,
Advisor &  a,
const Delta &  d 
) [inline, virtual]

Give advice to propagator.

Reimplemented from Gecode::Propagator.

Definition at line 209 of file bool.hpp.

template<class View >
ExecStatus Gecode::Set::Channel::ChannelBool< View >::post ( Home  home,
ViewArray< Gecode::Int::BoolView > &  x,
View  y 
) [inline, static]

Post propagator for $x_i=j \Leftrightarrow i\in y_j$.

Definition at line 123 of file bool.hpp.

Member Data Documentation

template<class View>
Council<IndexAdvisor> Gecode::Set::Channel::ChannelBool< View >::co [protected]

Council for managing advisors.

Definition at line 189 of file channel.hh.

template<class View>
SetDelta Gecode::Set::Channel::ChannelBool< View >::delta [protected]

Accumulated delta information.

Definition at line 191 of file channel.hh.

template<class View>
GLBndSet Gecode::Set::Channel::ChannelBool< View >::zeros [protected]

Accumulated zero Booleans.

Definition at line 193 of file channel.hh.

template<class View>
GLBndSet Gecode::Set::Channel::ChannelBool< View >::ones [protected]

Accumulated one Booleans.

Definition at line 195 of file channel.hh.

template<class View>
bool Gecode::Set::Channel::ChannelBool< View >::running [protected]

Flag whether propagation is currently running.

Definition at line 197 of file channel.hh.

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