OPAL - Abstract Interpretation Framework

&:

MetaInformationUpdate MetaInformationUpdateType NoUpdate NoUpdateType StructuralUpdate StructuralUpdateType Update UpdateType