Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
Modifier and Type | Method and Description |
---|---|
static ProofScriptCommandApi |
KeYApi.getScriptCommandApi() |
Copyright © 2003-2019 The KeY-Project.