| java.lang.Object de.uka.ilkd.key.proof.FormulaTag
FormulaTag | final public class FormulaTag (Code) | | Class whose instances represent tags to identify the formulas of sequents
persistently, i.e. a tag does not become invalid when a formula is modified
by a rule application. Tags are managed by the class FormulaTagManager for
each Node
|
counter | static int counter(Code) | | |
|
|