Action
public class Counter extends Object implements Action
private IVar
n
Counter(IVar n)
void
exec()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private final IVar n
public Counter(IVar n)
public void exec()
exec