Class | Description |
---|---|
AnnotatedTypeGraph |
Class of multiply annotated type graphs.
|
AnnotationBounds |
Class of annotation bounds.
|
Materialization |
Class of rewritable materializations.
|
Postcondition |
Class of postconditions.
|