Class and Description |
---|
TheoryDeclaration
The declaration of a logical theory.
|
Class and Description |
---|
ClassSpec
A class specification.
|
LoopSpec
A loop specification.
|
MethodSpec
A method specification.
|
StatementSpec
A statement specification.
|
TheoryDeclaration
The declaration of a logical theory.
|
UnitSpec
A unit specification.
|
Class and Description |
---|
MethodSpec
A method specification.
|
TheoryDeclaration
The declaration of a logical theory.
|
Class and 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.
|
Class and Description |
---|
ClassSpec
A class specification.
|
Class and Description |
---|
ClassSpec
A class specification.
|
LoopSpec
A loop specification.
|
MethodSpec
A method specification.
|
Specification
The interface to specifications.
|
SpecificationBase
The base class of specifications.
|
StatementSpec
A statement specification.
|
TheoryDeclaration
The declaration of a logical theory.
|
UnitSpec
A unit specification.
|