net.sf.cpsolver.studentsct
Class OnlineSectProof.Counter

java.lang.Object
  net.sf.cpsolver.studentsct.OnlineSectProof.Counter

Enclosing class:

OnlineSectProof

public static class OnlineSectProof.Counter
extends Object

Simple integer counter

Constructor Summary

OnlineSectProof.Counter()
A counter starting from zero

OnlineSectProof.Counter(int init)
A counter starting from the given number

Method Summary

void	inc() Increase counter by one
void	inc(int val) Increase counter by the given value
int	intValue() Return counter value

Methods inherited from class java.lang.Object

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

Constructor Detail

OnlineSectProof.Counter

public OnlineSectProof.Counter()

A counter starting from zero

OnlineSectProof.Counter

public OnlineSectProof.Counter(int init)

A counter starting from the given number

Method Detail

inc

public void inc()

Increase counter by one

inc

public void inc(int val)

Increase counter by the given value

intValue

public int intValue()

Return counter value