public abstract class NodeInteraction extends Interaction
Interaction.InteractionGraphicStyle
graphicalStyle
Modifier | Constructor and Description |
---|---|
|
NodeInteraction() |
protected |
NodeInteraction(Node node) |
Modifier and Type | Method and Description |
---|---|
Node |
getNode(Proof proof) |
NodeIdentifier |
getNodeId() |
int |
getSerialNr() |
void |
setNodeId(NodeIdentifier nodeId) |
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getMarkdown
getProofScriptRepresentation
reapply
public NodeInteraction()
protected NodeInteraction(Node node)
public int getSerialNr()
public NodeIdentifier getNodeId()
public void setNodeId(NodeIdentifier nodeId)
Copyright © 2003-2019 The KeY-Project.