Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

Integer views
[Programming integer actors]


Detailed Description

Integer propagators and branchings compute with integer views. Integer views provide views on integer variable implementations, integer constants, and also allow to scale, translate, and negate variables. Additionally, a special Boolean view is provided that offers convenient and efficient operations for Boolean (0/1) views.


Classes

class  Gecode::Int::ViewRanges< BoolView >
 Range iterator for Boolean variable views More...
class  Gecode::Int::ViewRanges< NegBoolView >
 Range iterator for negated Boolean variable views More...
class  Gecode::Int::ViewRanges< ConstIntView >
 Range iterator for constant integer views More...
class  Gecode::Int::ViewRanges< IntView >
 Range iterator for integer variable views More...
class  Gecode::Int::ViewRanges< MinusView >
 Range iterator for minus integer views More...
class  Gecode::Int::ViewRanges< OffsetView >
 Range iterator for offset integer views More...
class  Gecode::Int::ViewRanges< IntScaleView >
 Range iterator for integer-precision scale integer views More...
class  Gecode::Int::ViewRanges< DoubleScaleView >
 Range iterator for double-precision scale integer views More...
class  Gecode::Int::ViewRanges< ZeroIntView >
 Range iterator for constant integer views More...
class  Gecode::Int::IntView
 Integer view for integer variables. More...
class  Gecode::ViewVarImpTraits< Int::IntView >
 Traits class for views and variable implementations. More...
class  Gecode::Int::MinusView
 Minus integer view. More...
class  Gecode::ViewVarImpTraits< Int::MinusView >
 Traits class for views and variable implementations. More...
class  Gecode::Int::OffsetView
 Offset integer view. More...
class  Gecode::ViewVarImpTraits< Int::OffsetView >
 Traits class for views and variable implementations. More...
class  Gecode::Int::ScaleView< Val, UnsVal >
 Scale integer view (template). More...
class  Gecode::ViewVarImpTraits< Int::ScaleView< Val, UnsVal > >
 Traits class for views and variable implementations. More...
class  Gecode::Int::ConstIntView
 Constant integer view. More...
class  Gecode::ViewVarImpTraits< Int::ConstIntView >
 Traits class for views and variable implementations. More...
class  Gecode::Int::ZeroIntView
 Zero integer view. More...
class  Gecode::ViewVarImpTraits< Int::ZeroIntView >
 Traits class for views and variable implementations. More...
class  Gecode::Int::BoolView
 Boolean view for Boolean variables. More...
class  Gecode::ViewVarImpTraits< Int::BoolView >
 Traits class for views and variable implementations. More...
class  Gecode::Int::NegBoolView
 Negated Boolean view. More...
class  Gecode::ViewVarImpTraits< Int::NegBoolView >
 Traits class for views and variable implementations. More...

Typedefs

typedef ScaleView< int,
unsigned int > 
Gecode::Int::IntScaleView
 Integer-precision integer scale view.
typedef ScaleView< double, double > Gecode::Int::DoubleScaleView
 Double-precision integer scale view.


Typedef Documentation

typedef ScaleView<int,unsigned int> Gecode::Int::IntScaleView

Integer-precision integer scale view.

Definition at line 913 of file view.icc.

typedef ScaleView<double,double> Gecode::Int::DoubleScaleView

Double-precision integer scale view.

Definition at line 919 of file view.icc.