|
| 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.