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 |