| java.lang.Object de.uka.ilkd.key.proof.proofevent.RuleAppInfo
RuleAppInfo | public class RuleAppInfo (Code) | | More specific information about a rule application (currently
information about added and removed formulas)
|
newNodes | ListOfNodeReplacement newNodes(Code) | | New nodes that have been introduced by this rule application
|
originalNode | Node originalNode(Code) | | Node the rule has been applied on
|
RuleAppInfo | RuleAppInfo(RuleApp p_appliedRule, Node p_originalNode, ListOfNodeReplacement p_newNodes)(Code) | | |
getOriginalNode | public Node getOriginalNode()(Code) | | Node the rule has been applied on |
getReplacementNodes | public IteratorOfNodeReplacement getReplacementNodes()(Code) | | Nodes by which the original one has been replaced (theoriginal node, if only the closure constraint of this node hasbeen changed) |
|
|