Classes | |
class | Gecode::Int::IntView |
Integer view for integer variables. More... | |
class | Gecode::Int::MinusView |
Minus integer view. More... | |
class | Gecode::Int::OffsetView |
Offset integer view. More... | |
class | Gecode::Int::ScaleView< Val, UnsVal > |
Scale integer view (template) More... | |
class | Gecode::Int::ConstIntView |
Constant integer view. More... | |
class | Gecode::Int::ZeroIntView |
Zero integer view. More... | |
class | Gecode::Int::CachedView< View > |
Cached integer view. More... | |
class | Gecode::Int::BoolView |
Boolean view for Boolean variables. More... | |
class | Gecode::Int::NegBoolView |
Negated Boolean view. More... | |
class | Gecode::Int::ViewRanges< BoolView > |
Range iterator for Boolean variable views More... | |
class | Gecode::Int::ViewRanges< CachedView< View > > |
Range iterator for offset integer 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< NegBoolView > |
Range iterator for negated Boolean variable 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< LLongScaleView > |
Range iterator for long long int-precision scale integer views More... | |
class | Gecode::Int::ViewRanges< ZeroIntView > |
Range iterator for constant integer views More... | |
View comparison | |
typedef ScaleView< int, unsigned int > | IntScaleView |
Integer-precision integer scale view. More... | |
typedef ScaleView< long long int, unsigned long long int > | LLongScaleView |
Long long-precision integer scale view. More... | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x) |
Print integer offset view. More... | |
bool | operator== (const OffsetView &x, const OffsetView &y) |
Test whether views x and y are the same. More... | |
bool | operator!= (const OffsetView &x, const OffsetView &y) |
Test whether views x and y are not the same. More... | |
template<class View > | |
View & | operator() (View &x) |
Integer-precision integer scale view. More... | |
template<class View > | |
void | update (const NoOffset &) |
Integer-precision integer scale view. More... | |
template<class View > | |
int | offset (void) const |
Integer-precision integer scale view. More... | |
Offset (int off) | |
Integer-precision integer scale view. More... | |
void | update (const Offset &o) |
Integer-precision integer scale view. More... | |
int | offset (void) const |
Integer-precision integer scale view. More... | |
OffsetView | operator() (IntView &x) |
Integer-precision integer scale view. More... | |
Integer propagators and branchers 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.
|
related |
|
related |
|
related |
|
related |
Test whether views x and y are the same.
Definition at line 318 of file offset.hpp.
|
related |
Test whether views x and y are not the same.
Definition at line 322 of file offset.hpp.
|
related |
|
related |
|
related |
|
related |
|
related |
|
related |
|
related |