Merges a given updateType
value with the type of this update and returns a
new UpdateType
value.
Merges a given updateType
value with the type of this update and returns a
new UpdateType
value.
org.opalj.ai.UpdateType for further details.
The type of this update.
The type of this update.
Creates a new Update
object of the same type with the given value.
Creates a new Update
object of the same type with the given value.
The updated value; if available.
The updated value; if available.
Characterizes updates where the abstract state was updated such that it is required to continue the abstract interpretation.