de.uka.ilkd.key.proof

Class Counter

java.lang.Object

de.uka.ilkd.key.proof.Counter

public class Counter
extends java.lang.Object

Proof-specific counter object: taclet names, var names, node numbers, &c

Field Summary

Fields

Modifier and Type	Field and Description
private int	count
private java.lang.String	name

Constructor Summary

Constructors

Modifier	Constructor and Description
	Counter(java.lang.String name)
private	Counter(java.lang.String name, int count)

Method Summary

Modifier and Type	Method and Description
Counter	copy()
int	getCount()
int	getCountPlusPlus()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

private java.lang.String name

count

private int count

Constructor Detail

Counter

public Counter(java.lang.String name)

Counter

private Counter(java.lang.String name,
                int count)

Method Detail

getCount

public int getCount()

getCountPlusPlus

public int getCountPlusPlus()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

copy

public Counter copy()