Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Channel::ValInfo< View > Class Template Reference

Combine view with information for value propagation. More...

#include <val.hpp>

Public Member Functions

void init (View x, int n)
 Initialize. More...
 
void update (Space &home, bool share, ValInfo< View > &vi)
 Update during cloning. More...
 
bool doval (void) const
 Check whether propagation for assignment is to be done. More...
 
bool dodom (void) const
 Check whether propagation for domain is to be done. More...
 
void assigned (void)
 Record that view got assigned. More...
 
void removed (int i)
 Record that one value got removed. More...
 
void done (void)
 Update the cardinality and bounds information after pruning. More...
 

Public Attributes

View view
 The view. More...
 
bool a
 Whether it has been propagated that view is assigned. More...
 

Detailed Description

template<class View>
class Gecode::Int::Channel::ValInfo< View >

Combine view with information for value propagation.

Definition at line 49 of file val.hpp.

Member Function Documentation

template<class View >
void Gecode::Int::Channel::ValInfo< View >::init ( View  x,
int  n 
)
inline

Initialize.

Definition at line 73 of file val.hpp.

template<class View >
void Gecode::Int::Channel::ValInfo< View >::update ( Space home,
bool  share,
ValInfo< View > &  vi 
)
inline

Update during cloning.

Definition at line 79 of file val.hpp.

template<class View >
bool Gecode::Int::Channel::ValInfo< View >::doval ( void  ) const
inline

Check whether propagation for assignment is to be done.

Definition at line 85 of file val.hpp.

template<class View >
bool Gecode::Int::Channel::ValInfo< View >::dodom ( void  ) const
inline

Check whether propagation for domain is to be done.

Definition at line 91 of file val.hpp.

template<class View >
void Gecode::Int::Channel::ValInfo< View >::assigned ( void  )
inline

Record that view got assigned.

Definition at line 97 of file val.hpp.

template<class View >
void Gecode::Int::Channel::ValInfo< View >::removed ( int  i)
inline

Record that one value got removed.

Definition at line 103 of file val.hpp.

template<class View >
void Gecode::Int::Channel::ValInfo< View >::done ( void  )
inline

Update the cardinality and bounds information after pruning.

Definition at line 107 of file val.hpp.

Member Data Documentation

template<class View>
View Gecode::Int::Channel::ValInfo< View >::view

The view.

Definition at line 52 of file val.hpp.

template<class View>
bool Gecode::Int::Channel::ValInfo< View >::a

Whether it has been propagated that view is assigned.

Definition at line 54 of file val.hpp.


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