Generated on Fri Oct 19 11:26:15 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Sequence::ViewValSupport< View, Val, iss > Class Template Reference

Class for view value support structure. More...

#include <view.hpp>

List of all members.

Public Member Functions

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

Static Public Member Functions

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

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 80 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 188 of file view.hpp.

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

Update.

Definition at line 211 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 347 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 386 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 262 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 159 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 
) [inline, static]

Allocate an instance.

Definition at line 134 of file view.hpp.


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