public static class OnlineSectProof.Counter extends Object
Constructor and Description |
---|
Counter()
A counter starting from zero
|
Counter(int init)
A counter starting from the given number
|
Modifier and Type | Method and Description |
---|---|
void |
inc()
Increase counter by one
|
void |
inc(int val)
Increase counter by the given value
|
int |
intValue()
Return counter value
|