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