Interface | Description |
---|---|
Specification |
The interface to specifications.
|
Class | Description |
---|---|
ClassSpec |
A class specification.
|
LoopSpec |
A loop specification.
|
MethodSpec |
A method specification.
|
SpecificationBase |
The base class of specifications.
|
StatementSpec |
A statement specification.
|
TheoryDeclaration |
The declaration of a logical theory.
|
UnitSpec |
A unit specification.
|