public class LoopContractInternalBuiltInRuleInteraction extends BuiltInRuleInteraction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
LoopContractInternalBuiltInRuleInteraction() |
LoopContractInternalBuiltInRuleInteraction(LoopContractInternalBuiltInRuleApp app,
Node node) |
getRuleName, setRuleName
getNode, getNodeId, getSerialNr, setNodeId
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getMarkdown
getProofScriptRepresentation
reapply
public LoopContractInternalBuiltInRuleInteraction()
public LoopContractInternalBuiltInRuleInteraction(LoopContractInternalBuiltInRuleApp app, Node node)
Copyright © 2003-2019 The KeY-Project.