|
CACAO
|
Represents the result of the addition of a certain IR-variable with a certain constant. More...
Public Member Functions | |
| s4 | variable () const |
| s4 | constant () const |
| bool | isUnknown () const |
| void | addConstant (s4 constant) |
| Adds a constant to this value. More... | |
| void | subtractConstant (s4 constant) |
| Subtracts a constant from this value. More... | |
Static Public Member Functions | |
| static Value | newAddition (s4 variable, s4 constant) |
| static Value | newUnknown () |
Private Member Functions | |
| Value (s4 variable, s4 constant) | |
| Initializes this value with (variable + constant). More... | |
Private Attributes | |
| s4 | _variable |
| s4 | _constant |
Represents the result of the addition of a certain IR-variable with a certain constant.
The addition may overflow.
1.8.5