public class ContractBuiltInRuleInteraction extends BuiltInRuleInteraction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
ContractBuiltInRuleInteraction() |
ContractBuiltInRuleInteraction(ContractRuleApp 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 ContractBuiltInRuleInteraction()
public ContractBuiltInRuleInteraction(ContractRuleApp app, Node node)
Copyright © 2003-2019 The KeY-Project.