Generated on Mon Aug 27 2012 17:16:00 for Gecode by doxygen 1.8.1.2
Gecode::Int::ViewRanges< MinusView > Class Template Reference

Range iterator for minus integer views More...

#include <minus.hpp>

Constructors and initialization

 ViewRanges (void)
 Default constructor.
 ViewRanges (const MinusView &x)
 Initialize with ranges for view x.
void init (const MinusView &x)
 Initialize with ranges for view x.

Range access

int min (void) const
 Return smallest value of range.
int max (void) const
 Return largest value of range.

Additional Inherited Members

- Public Member Functions inherited from Gecode::Int::IntVarImpBwd
 IntVarImpBwd (void)
 Default constructor.
 IntVarImpBwd (const IntVarImp *x)
 Initialize with ranges from variable implementation x.
void init (const IntVarImp *x)
 Initialize with ranges from variable implementation x.
bool operator() (void) const
 Test whether iterator is still at a range or done.
void operator++ (void)
 Move iterator to previous range (if possible)
unsigned int width (void) const
 Return width of range (distance between minimum and maximum)

Detailed Description

template<>
class Gecode::Int::ViewRanges< MinusView >

Range iterator for minus integer views

Definition at line 239 of file minus.hpp.

Constructor & Destructor Documentation

Default constructor.

Definition at line 261 of file minus.hpp.

Initialize with ranges for view x.

Definition at line 264 of file minus.hpp.

Member Function Documentation

void Gecode::Int::ViewRanges< MinusView >::init ( const MinusView x)
inline

Initialize with ranges for view x.

Definition at line 268 of file minus.hpp.

int Gecode::Int::ViewRanges< MinusView >::min ( void  ) const
inline

Return smallest value of range.

Reimplemented from Gecode::Int::IntVarImpBwd.

Definition at line 273 of file minus.hpp.

int Gecode::Int::ViewRanges< MinusView >::max ( void  ) const
inline

Return largest value of range.

Reimplemented from Gecode::Int::IntVarImpBwd.

Definition at line 277 of file minus.hpp.


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