|
typedef ScaleView< int, unsigned int > | IntScaleView |
| Integer-precision integer scale view.
|
|
typedef ScaleView< long long int, unsigned long long int > | LLongScaleView |
| Long long-precision integer scale view.
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x) |
| Print integer offset view.
|
|
bool | operator== (const OffsetView &x, const OffsetView &y) |
| Test whether views x and y are the same.
|
|
bool | operator!= (const OffsetView &x, const OffsetView &y) |
| Test whether views x and y are not the same.
|
|
template<class View > |
View & | operator() (View &x) |
| Integer-precision integer scale view.
|
|
template<class View > |
void | update (const NoOffset &) |
| Integer-precision integer scale view.
|
|
template<class View > |
int | offset (void) const |
| Integer-precision integer scale view.
|
|
| Offset (int off) |
| Integer-precision integer scale view.
|
|
void | update (const Offset &o) |
| Integer-precision integer scale view.
|
|
int | offset (void) const |
| Integer-precision integer scale view.
|
|
OffsetView | operator() (IntView &x) |
| Integer-precision integer scale view.
|
|
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.
◆ IntScaleView
Integer-precision integer scale view.
Definition at line 804 of file view.hpp.
◆ LLongScaleView
Long long-precision integer scale view.
Definition at line 810 of file view.hpp.
◆ operator<<()
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & | os, |
|
|
const OffsetView & | x ) |
|
related |
Print integer offset view.
Definition at line 67 of file print.hpp.
◆ operator==()
◆ operator!=()
Test whether views x and y are not the same.
Definition at line 322 of file offset.hpp.
◆ operator()() [1/2]
template<class View >
View & operator() |
( |
View & | x | ) |
|
|
related |
Integer-precision integer scale view.
Definition at line 632 of file view.hpp.
◆ update() [1/2]
Integer-precision integer scale view.
Definition at line 638 of file view.hpp.
◆ offset() [1/2]
template<class View >
int offset |
( |
void | | ) |
const |
|
related |
Integer-precision integer scale view.
Definition at line 642 of file view.hpp.
◆ Offset()
Integer-precision integer scale view.
Definition at line 667 of file view.hpp.
◆ update() [2/2]
void update |
( |
const Offset & | o | ) |
|
|
related |
Integer-precision integer scale view.
Definition at line 670 of file view.hpp.
◆ offset() [2/2]
int offset |
( |
void | | ) |
const |
|
related |
Integer-precision integer scale view.
Definition at line 673 of file view.hpp.
◆ operator()() [2/2]
Integer-precision integer scale view.
Definition at line 676 of file view.hpp.