public class KPSProofScriptExport extends MUProofScriptExport
out
Constructor and Description |
---|
KPSProofScriptExport() |
KPSProofScriptExport(java.io.PrintWriter out) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Void |
defaultVisit(Interaction interaction) |
static java.lang.String |
getMarkdown(Interaction interaction) |
java.lang.Void |
visit(AutoModeInteraction interaction) |
java.lang.Void |
visit(ContractBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(LoopContractInternalBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(LoopInvariantBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(MacroInteraction interaction) |
java.lang.Void |
visit(MergeRuleBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(OSSBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(PruneInteraction interaction) |
java.lang.Void |
visit(RuleInteraction interaction) |
java.lang.Void |
visit(SettingChangeInteraction interaction) |
java.lang.Void |
visit(SMTBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(UseDependencyContractBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(UserNoteInteraction interaction) |
static void |
writeTo(InteractionLog logbook,
java.io.PrintWriter writer) |
getScript, getScriptRepresentation
translate, translate
public KPSProofScriptExport()
public KPSProofScriptExport(java.io.PrintWriter out)
public static java.lang.String getMarkdown(Interaction interaction)
public static void writeTo(InteractionLog logbook, java.io.PrintWriter writer)
protected java.lang.Void defaultVisit(Interaction interaction)
defaultVisit
in class MUProofScriptExport
public java.lang.Void visit(RuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(UseDependencyContractBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(AutoModeInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(MacroInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(UserNoteInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(OSSBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(SMTBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(PruneInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(LoopContractInternalBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(ContractBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(LoopInvariantBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(SettingChangeInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport
public java.lang.Void visit(MergeRuleBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class MUProofScriptExport