SMTCommand.SMTCommandArguments |
SMTCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
MacroCommand.Parameters |
MacroCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
EchoCommand.Parameters |
EchoCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
JavascriptCommand.Parameters |
JavascriptCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
AssertCommand.Parameters |
AssertCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
AssumeCommand.FormulaParameter |
AssumeCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
RuleCommand.Parameters |
RuleCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
T |
ProofScriptCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
SelectCommand.Parameters |
SelectCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
SchemaVarCommand.Parameters |
SchemaVarCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
AxiomCommand.FormulaParameter |
AxiomCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
SetEchoCommand.Parameters |
SetEchoCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
T |
AbstractCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
InstantiateCommand.Parameters |
InstantiateCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
SetCommand.Parameters |
SetCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
AutoCommand.Parameters |
AutoCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
TryCloseCommand.TryCloseArguments |
TryCloseCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
SetFailOnClosedCommand.Parameters |
SetFailOnClosedCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
SaveNewNameCommand.Parameters |
SaveNewNameCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
java.lang.Void |
NoArgumentCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
RewriteCommand.Parameters |
RewriteCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
CutCommand.Parameters |
CutCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
java.util.Map<java.lang.String,java.lang.String> |
SaveInstCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
java.util.Map<java.lang.String,java.lang.String> |
LetCommand.evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
void |
AutoCommand.execute(AbstractUserInterfaceControl uiControl,
AutoCommand.Parameters arguments,
EngineState state) |
void |
CutCommand.execute(AbstractUserInterfaceControl uiControl,
CutCommand.Parameters args,
EngineState state) |
void |
EchoCommand.execute(AbstractUserInterfaceControl uiControl,
EchoCommand.Parameters args,
EngineState state) |
void |
InstantiateCommand.execute(AbstractUserInterfaceControl uiControl,
InstantiateCommand.Parameters params,
EngineState state) |
void |
MacroCommand.execute(AbstractUserInterfaceControl uiControl,
MacroCommand.Parameters args,
EngineState state) |
void |
SaveInstCommand.execute(AbstractUserInterfaceControl uiControl,
java.util.Map<java.lang.String,java.lang.String> args,
EngineState stateMap) |
void |
LetCommand.execute(AbstractUserInterfaceControl uiControl,
java.util.Map<java.lang.String,java.lang.String> args,
EngineState stateMap) |
void |
RewriteCommand.execute(AbstractUserInterfaceControl uiControl,
RewriteCommand.Parameters args,
EngineState state) |
void |
RuleCommand.execute(AbstractUserInterfaceControl uiControl,
RuleCommand.Parameters args,
EngineState state) |
void |
SaveNewNameCommand.execute(AbstractUserInterfaceControl uiControl,
SaveNewNameCommand.Parameters params,
EngineState stateMap) |
void |
SetEchoCommand.execute(AbstractUserInterfaceControl uiControl,
SetEchoCommand.Parameters args,
EngineState state) |
void |
SetFailOnClosedCommand.execute(AbstractUserInterfaceControl uiControl,
SetFailOnClosedCommand.Parameters args,
EngineState state) |
void |
ProofScriptCommand.execute(AbstractUserInterfaceControl uiControl,
T args,
EngineState stateMap) |
void |
AbstractCommand.execute(AbstractUserInterfaceControl uiControl,
T args,
EngineState stateMap) |
void |
SkipCommand.execute(AbstractUserInterfaceControl uiControl,
java.lang.Void args,
EngineState stateMap) |
void |
LeaveCommand.execute(AbstractUserInterfaceControl uiControl,
java.lang.Void args,
EngineState state) |
void |
ActivateCommand.execute(AbstractUserInterfaceControl uiControl,
java.lang.Void args,
EngineState state) |
void |
ExitCommand.execute(AbstractUserInterfaceControl uiControl,
java.lang.Void args,
EngineState stateMap) |