Generated on Thu Apr 11 14:00:10 2019 for Gecode by doxygen 1.6.3

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

Propagator for the sorted channel constraint More...

#include <channel.hh>

List of all members.

Public Member Functions

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

Static Public Member Functions

static ExecStatus post (Home home, View s, ViewArray< Gecode::Int::IntView > &x)
 Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.

Protected Member Functions

 ChannelSorted (Space &home, ChannelSorted &p)
 Constructor for cloning p.
 ChannelSorted (Home home, View, ViewArray< Gecode::Int::IntView > &)
 Constructor for posting.

Protected Attributes

View x0
 SetView for the match.
ViewArray< Gecode::Int::IntViewxs
 IntViews that together form the set x0.

Detailed Description

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

Propagator for the sorted channel constraint

Requires

 #include <gecode/set/int.hh> 

Definition at line 60 of file channel.hh.


Constructor & Destructor Documentation

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

Constructor for cloning p.

Definition at line 56 of file sorted.hpp.

template<class View >
Gecode::Set::Channel::ChannelSorted< View >::ChannelSorted ( Home  home,
View  y0,
ViewArray< Gecode::Int::IntView > &  ys 
) [inline, protected]

Constructor for posting.

Definition at line 47 of file sorted.hpp.


Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 105 of file sorted.hpp.

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

Cost function (defined as PC_LINEAR_LO).

Implements Gecode::Propagator.

Definition at line 83 of file sorted.hpp.

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

Schedule function.

Implements Gecode::Propagator.

Definition at line 89 of file sorted.hpp.

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

Delete Propagator.

Reimplemented from Gecode::Actor.

Definition at line 96 of file sorted.hpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 111 of file sorted.hpp.

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

Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.

Definition at line 64 of file sorted.hpp.


Member Data Documentation

template<class View >
View Gecode::Set::Channel::ChannelSorted< View >::x0 [protected]

SetView for the match.

Definition at line 63 of file channel.hh.

template<class View >
ViewArray<Gecode::Int::IntView> Gecode::Set::Channel::ChannelSorted< View >::xs [protected]

IntViews that together form the set x0.

Definition at line 65 of file channel.hh.


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