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.