public class SMTCommand extends AbstractCommand
Modifier and Type | Field and Description |
---|---|
private static String |
DEFAULT_SOLVER |
private static String |
SOLVER_KEY |
private static Map<String,SolverType> |
SOLVER_MAP |
ABBREV_KEY, GOAL_KEY
Constructor and Description |
---|
SMTCommand() |
Modifier and Type | Method and Description |
---|---|
private static Map<String,SolverType> |
computeSolverMap() |
private SolverTypeCollection |
computeSolvers(String value) |
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 String DEFAULT_SOLVER
private static final String SOLVER_KEY
private static final Map<String,SolverType> SOLVER_MAP
public String getName()
private static Map<String,SolverType> computeSolverMap()
public void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> state) throws ScriptException, InterruptedException
ScriptException
InterruptedException
private SolverTypeCollection computeSolvers(String value)