public final class FormulaTag
extends java.lang.Object
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