Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
de.uka.ilkd.key.macros.scripts |
Proof script commands are a simple proof automation facility.
|
de.uka.ilkd.key.macros.scripts.meta |
Class and Description |
---|
ProofScriptCommand
A
ProofScriptCommand is an executable mutation on the given proof. |
ScriptException |
Class and Description |
---|
AbstractCommand
Inheritance:
|
AssertCommand.Parameters
The Assigned parameters (currently only the passed goals).
|
AssumeCommand.FormulaParameter |
AutoCommand.Parameters |
AxiomCommand.FormulaParameter |
CutCommand.Parameters |
EchoCommand.Parameters |
EngineState |
InstantiateCommand.Parameters |
JavascriptCommand.Parameters |
MacroCommand.Parameters |
NoArgumentCommand |
ProofScriptCommand
A
ProofScriptCommand is an executable mutation on the given proof. |
RewriteCommand.Parameters
Parameters for the
RewriteCommand |
RuleCommand.Parameters |
SaveNewNameCommand.Parameters |
SchemaVarCommand.Parameters |
ScriptCommand.Parameters |
ScriptException |
ScriptNode |
SelectCommand.Parameters |
SetCommand.Parameters |
SetEchoCommand.Parameters |
SetFailOnClosedCommand.Parameters |
SMTCommand.SMTCommandArguments |
TryCloseCommand.TryCloseArguments |
Class and Description |
---|
ProofScriptCommand
A
ProofScriptCommand is an executable mutation on the given proof. |
Copyright © 2003-2019 The KeY-Project.