- All Superinterfaces:
- All Known Subinterfaces:
The construction of a set type expression is defined in ACSL v1.16 "Sec.
2.3.4 Memory locations and sets of terms". see also
Expressions of set-of NON POINTER type cannot be used in other places than
the argument lists of ACSL
loop assigns or
CIVL-C POR contract
Expressions of set-of POINTER type can only be used in places where a $mem type object is needed.
Nested Class Summary