public class LeaveCommand extends AbstractCommand
ABBREV_KEY, GOAL_KEY
Constructor and Description |
---|
LeaveCommand() |
Modifier and Type | Method and Description |
---|---|
void |
execute(AbstractUserInterfaceControl uiControl,
Proof proof,
Map<String,String> args,
Map<String,Object> state) |
String |
getName() |
getFirstOpenGoal, getGoal, getMaxAutomaticSteps, setMaxAutomaticSteps, toSort, toTerm
public String getName()
public void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> state) throws ScriptException, InterruptedException
ScriptException
InterruptedException