public class CutCommand extends AbstractCommand
Modifier and Type | Field and Description |
---|---|
private static Name |
CUT_TACLET_NAME |
ABBREV_KEY, GOAL_KEY
Constructor and Description |
---|
CutCommand() |
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
private static final Name CUT_TACLET_NAME
public String getName()
public void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> state) throws ScriptException, InterruptedException
ScriptException
InterruptedException