public class OSSBuiltInRuleInteraction extends BuiltInRuleInteraction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
OSSBuiltInRuleInteraction() |
OSSBuiltInRuleInteraction(OneStepSimplifierRuleApp app,
Node node) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getMarkdown() |
NodeIdentifier |
getNodeIdentifier() |
OccurenceIdentifier |
getOccurenceIdentifier() |
java.lang.String |
getProofScriptRepresentation() |
void |
reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
setNodeIdentifier(NodeIdentifier nodeIdentifier) |
void |
setOccurenceIdentifier(OccurenceIdentifier occurenceIdentifier) |
java.lang.String |
toString() |
getRuleName, setRuleName
getNode, getNodeId, getSerialNr, setNodeId
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
public OSSBuiltInRuleInteraction()
public OSSBuiltInRuleInteraction(OneStepSimplifierRuleApp app, Node node)
public java.lang.String getMarkdown()
public java.lang.String getProofScriptRepresentation()
public java.lang.String toString()
toString
in class java.lang.Object
public OccurenceIdentifier getOccurenceIdentifier()
public void setOccurenceIdentifier(OccurenceIdentifier occurenceIdentifier)
public NodeIdentifier getNodeIdentifier()
public void setNodeIdentifier(NodeIdentifier nodeIdentifier)
public void reapply(WindowUserInterfaceControl uic, Goal goal) throws java.lang.Exception
java.lang.Exception
Copyright © 2003-2019 The KeY-Project.