Generated on Thu Feb 14 2013 21:00:07 for Gecode by doxygen 1.8.3.1
Gecode::Int::Sequence::Sequence< View, Val > Class Template Reference

Sequence propagator for array of integers More...

#include <sequence.hh>

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Perform copying during cloning. More...
 
ExecStatus advise (Space &home, Advisor &_a, const Delta &d)
 Advise function. More...
 
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function. More...
 
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation. More...
 
virtual size_t dispose (Space &home)
 Delete propagator and return its size. More...
 
- Public Member Functions inherited from Gecode::Propagator
ModEventDelta modeventdelta (void) const
 Return the modification event delta. More...
 
double afc (void) const
 Return the accumlated failure count. More...
 

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< View > &x, Val s, int q, int l, int u)
 Post propagator for. More...
 
static ExecStatus check (Space &home, ViewArray< View > &x, Val s, int q, int l, int u)
 Check for consistency. More...
 

Protected Member Functions

 Sequence (Space &home, bool shared, Sequence &p)
 Constructor for cloning p. More...
 
 Sequence (Home home, ViewArray< View > &x, Val s, int q, int l, int u)
 Constructor for creation. More...
 
- Protected Member Functions inherited from Gecode::Propagator
 Propagator (Home home)
 Constructor for posting. More...
 
 Propagator (Space &home, bool share, Propagator &p)
 Constructor for cloning p. More...
 

Detailed Description

template<class View, class Val>
class Gecode::Int::Sequence::Sequence< View, Val >

Sequence propagator for array of integers

Requires

Definition at line 105 of file sequence.hh.

Constructor & Destructor Documentation

template<class View , class Val >
Gecode::Int::Sequence::Sequence< View, Val >::Sequence ( Space home,
bool  shared,
Sequence< View, Val > &  p 
)
inlineprotected

Constructor for cloning p.

Definition at line 62 of file int.hpp.

template<class View , class Val >
Gecode::Int::Sequence::Sequence< View, Val >::Sequence ( Home  home,
ViewArray< View > &  x,
Val  s,
int  q,
int  l,
int  u 
)
inlineprotected

Constructor for creation.

Definition at line 46 of file int.hpp.

Member Function Documentation

template<class View , class Val >
Actor * Gecode::Int::Sequence::Sequence< View, Val >::copy ( Space home,
bool  share 
)
virtual

Perform copying during cloning.

Implements Gecode::Actor.

Definition at line 142 of file int.hpp.

template<class View , class Val >
ExecStatus Gecode::Int::Sequence::Sequence< View, Val >::advise ( Space home,
Advisor _a,
const Delta d 
)
virtual

Advise function.

Reimplemented from Gecode::Propagator.

Definition at line 73 of file int.hpp.

template<class View , class Val >
PropCost Gecode::Int::Sequence::Sequence< View, Val >::cost ( const Space home,
const ModEventDelta med 
) const
virtual

Cost function.

Implements Gecode::Propagator.

Definition at line 148 of file int.hpp.

template<class View , class Val >
ExecStatus Gecode::Int::Sequence::Sequence< View, Val >::propagate ( Space home,
const ModEventDelta med 
)
virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 154 of file int.hpp.

template<class View , class Val >
ExecStatus Gecode::Int::Sequence::Sequence< View, Val >::post ( Home  home,
ViewArray< View > &  x,
Val  s,
int  q,
int  l,
int  u 
)
static

Post propagator for.

Definition at line 130 of file int.hpp.

template<class View , class Val >
ExecStatus Gecode::Int::Sequence::Sequence< View, Val >::check ( Space home,
ViewArray< View > &  x,
Val  s,
int  q,
int  l,
int  u 
)
inlinestatic

Check for consistency.

Definition at line 106 of file int.hpp.

template<class View , class Val >
size_t Gecode::Int::Sequence::Sequence< View, Val >::dispose ( Space home)
inlinevirtual

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 96 of file int.hpp.


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