| Interface | Description |
|---|---|
| ProofScriptCommand |
| Class | Description |
|---|---|
| AbstractCommand | |
| AutoCommand | |
| CutCommand | |
| ExitCommand | |
| InstantiateCommand |
instantiate var=a occ=2 with="a_8" hide
instantiate formula="\forall int a; phi(a)" with="a_8"
|
| InstantiateCommand.Parameters | |
| InstantiateCommand.TacletNameFilter | |
| JavascriptCommand | |
| JavascriptCommand.JavascriptInterface | |
| LeaveCommand | |
| LetCommand | |
| MacroCommand | |
| ProofScriptEngine | |
| RuleCommand | |
| RuleCommand.Parameters | |
| RuleCommand.TacletNameFilter | |
| SchemaVarCommand | |
| ScriptCommand | |
| ScriptLineParser | |
| SelectCommand | |
| SetCommand | |
| SMTCommand | |
| TryCloseCommand |
| Enum | Description |
|---|---|
| ScriptLineParser.State |
The state of the regular expression parser.
|
| Exception | Description |
|---|---|
| ScriptException |