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 |
---|---|
<T> ScriptResults |
ScriptApi.executeScriptCommand(ProofScriptCommandCall<T> call,
ProjectedNode onNode)
Execute ScriptCommand onto goal node
|
Modifier and Type | Method and Description |
---|---|
ProjectedNode |
ScriptApi.getIntermediateTree(ScriptResults root,
ScriptResults end)
~> Beweisbaum -> Shallow Copy
hier implementieren
|
Copyright © 2003-2019 The KeY-Project.