01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10:
11: package de.uka.ilkd.key.proof;
12:
13: /**
14: * Class whose instances represent tags to identify the formulas of sequents
15: * persistently, i.e. a tag does not become invalid when a formula is modified
16: * by a rule application. Tags are managed by the class FormulaTagManager for
17: * each Node
18: */
19: public final class FormulaTag {
20:
21: static int counter = 0;
22: int i;
23:
24: FormulaTag() {
25: i = counter++;
26: }
27:
28: public String toString() {
29: return "" + i;
30: }
31:
32: }
|