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