public class SelectCommand extends AbstractCommand
ABBREV_KEY, GOAL_KEY
Constructor and Description |
---|
SelectCommand() |
Modifier and Type | Method and Description |
---|---|
private boolean |
contains(Semisequent semiseq,
Term formula) |
private boolean |
contains(Sequent seq,
Term formula) |
void |
execute(AbstractUserInterfaceControl uiControl,
Proof proof,
Map<String,String> args,
Map<String,Object> stateMap) |
private Goal |
findGoalWith(Term formula,
Proof proof) |
String |
getName() |
getFirstOpenGoal, getGoal, getMaxAutomaticSteps, setMaxAutomaticSteps, toSort, toTerm
public void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> stateMap) throws ScriptException, InterruptedException
ScriptException
InterruptedException
private Goal findGoalWith(Term formula, Proof proof) throws ScriptException
ScriptException
private boolean contains(Semisequent semiseq, Term formula)
public String getName()