All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
private IBuiltInRuleApp |
builtInRuleApp(RuleCommand.Parameters p,
EngineState state,
BuiltInRule rule) |
RuleCommand.Parameters |
evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
void |
execute(AbstractUserInterfaceControl uiControl,
RuleCommand.Parameters args,
EngineState state) |
private java.util.List<TacletApp> |
filterList(RuleCommand.Parameters p,
ImmutableList<TacletApp> list) |
private ImmutableList<TacletApp> |
findAllTacletApps(RuleCommand.Parameters p,
EngineState state) |
private ImmutableList<IBuiltInRuleApp> |
findBuiltInRuleApps(RuleCommand.Parameters p,
EngineState state) |
private TacletApp |
findTacletApp(RuleCommand.Parameters p,
EngineState state) |
private static java.lang.String |
formatTermString(java.lang.String str)
Removes spaces and line breaks from the string representation of a term.
|
java.lang.String |
getName()
Returns the name of this proof command.
|
private TacletApp |
instantiateTacletApp(RuleCommand.Parameters p,
EngineState state,
Proof proof,
TacletApp theApp) |
private boolean |
isFormulaSearchedFor(RuleCommand.Parameters p,
SequentFormula sf,
Services services)
|
private TacletApp |
makeNoFindTacletApp(Taclet taclet) |
private RuleApp |
makeRuleApp(RuleCommand.Parameters p,
EngineState state) |