Generated on Sat Feb 7 2015 02:01:49 for Gecode by doxygen 1.8.9.1
Gecode::Int::Sequence::ViewValSupport< View, Val, iss > Class Template Reference

Class for view value support structure. More...

#include <view.hpp>

Public Member Functions

void init (Space &home, ViewArray< View > &x, Val s, int i, int q)
 Initialize. More...
 
void update (Space &home, bool share, ViewValSupport< View, Val, iss > &vvs, int n0)
 Update. More...
 
ExecStatus advise (Space &home, ViewArray< View > &a, Val s, int i, int q, int j, const Delta &d)
 Advise. More...
 
ExecStatus propagate (Space &home, ViewArray< View > &a, Val s, int i, int q, int l, int u)
 Propagate. More...
 
bool violated (int j, int q, int l, int u) const
 Return true if sequence j has been violated. More...
 
bool retired (void) const
 Check if retired. More...
 

Static Public Member Functions

static ViewValSupportallocate (Space &, int)
 Allocate an instance. More...
 

Detailed Description

template<class View, class Val, bool iss>
class Gecode::Int::Sequence::ViewValSupport< View, Val, iss >

Class for view value support structure.

Definition at line 85 of file view.hpp.

Member Function Documentation

template<class View , class Val , bool iss>
void Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::init ( Space home,
ViewArray< View > &  x,
Val  s,
int  i,
int  q 
)
inline

Initialize.

Definition at line 193 of file view.hpp.

template<class View , class Val , bool iss>
void Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::update ( Space home,
bool  share,
ViewValSupport< View, Val, iss > &  vvs,
int  n0 
)
inline

Update.

Definition at line 216 of file view.hpp.

template<class View , class Val , bool iss>
ExecStatus Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::advise ( Space home,
ViewArray< View > &  a,
Val  s,
int  i,
int  q,
int  j,
const Delta d 
)
inline

Advise.

Definition at line 352 of file view.hpp.

template<class View , class Val , bool iss>
ExecStatus Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::propagate ( Space home,
ViewArray< View > &  a,
Val  s,
int  i,
int  q,
int  l,
int  u 
)
inline

Propagate.

Definition at line 391 of file view.hpp.

template<class View , class Val , bool iss>
bool Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::violated ( int  j,
int  q,
int  l,
int  u 
) const
inline

Return true if sequence j has been violated.

Definition at line 267 of file view.hpp.

template<class View , class Val , bool iss>
bool Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::retired ( void  ) const
inline

Check if retired.

Definition at line 164 of file view.hpp.

template<class View , class Val , bool iss>
ViewValSupport< View, Val, iss > * Gecode::Int::Sequence::ViewValSupport< View, Val, iss >::allocate ( Space home,
int  n 
)
inlinestatic

Allocate an instance.

Definition at line 139 of file view.hpp.


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