TestCounter.java

package alice.tuprolog;

public class TestCounter {
	
	private int value = 0;
	
	public void update() {
		value++;
	}
	
	public int getValue() {
		return value;
	}

}