Generated on Sat Feb 7 2015 02:01:48 for Gecode by doxygen 1.8.9.1
Gecode::Int::Linear::PosSupportIter< Val > Class Template Reference

Support-based iterator for positive view. More...

#include <int-dom.hpp>

Public Member Functions

bool reset (Val &d)
 Reset iterator to beginning and adjust. More...
 
bool adjust (Val &d)
 Adjust. More...
 
- Public Member Functions inherited from Gecode::Int::Linear::SupportIter< Val >
void init (Region &r, int a, const IntView &x, Val l, Val u)
 Initialize view. More...
 
void support (void)
 Record value at current position as supported. More...
 
ModEvent tell (Space &home)
 Tell back new variable domain according to support found. More...
 

Additional Inherited Members

- Protected Attributes inherited from Gecode::Int::Linear::SupportIter< Val >
int a
 Integer coefficient for view. More...
 
IntView x
 Integer view. More...
 
SupportSet s
 Set of support for values in x. More...
 
int c
 Current value. More...
 
unsigned int p
 Position of current value. More...
 
Val l
 Lower bound information for value. More...
 
Val u
 Upper bound information for value. More...
 

Detailed Description

template<class Val>
class Gecode::Int::Linear::PosSupportIter< Val >

Support-based iterator for positive view.

Definition at line 117 of file int-dom.hpp.

Member Function Documentation

template<class Val >
bool Gecode::Int::Linear::PosSupportIter< Val >::reset ( Val &  d)
inline

Reset iterator to beginning and adjust.

  • d accordingly

Definition at line 244 of file int-dom.hpp.

template<class Val >
bool Gecode::Int::Linear::PosSupportIter< Val >::adjust ( Val &  d)
inline

Adjust.

  • d and return true if next value still works

Definition at line 268 of file int-dom.hpp.


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