public interface InteractionListener
Modifier and Type | Interface and Description |
---|---|
static class |
InteractionListener.SettingType |
Modifier and Type | Method and Description |
---|---|
void |
runAutoMode(java.util.List<Node> initialGoals,
Proof proof,
ApplyStrategyInfo info) |
void |
runBuiltInRule(Goal goal,
IBuiltInRuleApp app,
BuiltInRule rule,
PosInOccurrence pos,
boolean forced) |
void |
runMacro(Node node,
ProofMacro macro,
PosInOccurrence posInOcc,
ProofMacroFinishedInfo info) |
void |
runPrune(Node node) |
void |
runRule(Goal goal,
RuleApp app) |
void |
settingChanged(Proof proof,
Settings settings,
InteractionListener.SettingType type,
java.lang.String message) |
void settingChanged(Proof proof, Settings settings, InteractionListener.SettingType type, java.lang.String message)
void runPrune(Node node)
void runMacro(Node node, ProofMacro macro, PosInOccurrence posInOcc, ProofMacroFinishedInfo info)
void runBuiltInRule(Goal goal, IBuiltInRuleApp app, BuiltInRule rule, PosInOccurrence pos, boolean forced)
void runAutoMode(java.util.List<Node> initialGoals, Proof proof, ApplyStrategyInfo info)