All Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
void |
addListener(InteractionRecorderListener listener) |
void |
autoModeStarted(ProofEvent e)
invoked if automatic execution has started
|
void |
autoModeStopped(ProofEvent e)
invoked if automatic execution has stopped
|
private void |
createInitialSettingsEntry(Proof proof) |
protected void |
emit(Interaction interaction) |
InteractionLog |
get(Proof proof) |
javax.swing.ComboBoxModel<InteractionLog> |
getLoadedInteractionLogs() |
boolean |
isDisableAll() |
InteractionLog |
readInteractionLog(java.io.File file) |
private void |
registerDisposeListener(Proof proof) |
void |
registerOnSettings(Proof proof) |
void |
removeListener(InteractionRecorderListener listener) |
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 |
setDisableAll(boolean disableAll) |
void |
settingChanged(Proof proof,
Settings settings,
InteractionListener.SettingType type,
java.lang.String message) |