Package | Description |
---|---|
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
Modifier and Type | Class and Description |
---|---|
protected static class |
BlockContractImpl.Combinator
This class is used to to combine multiple contracts for the same block and apply them
simultaneously.
|
protected static class |
LoopContractImpl.Combinator
This class is used to to combine multiple contracts for the same block and apply them
simultaneously.
|
Copyright © 2003-2019 The KeY-Project.