Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> [ test overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog.test
Class Counter  

java.lang.Object
  alice.tuprolog.test.Counter

---

public class Counter

extends java.lang.Object

---

Field Summary
private  int	value

 

Constructor Summary

Counter()

 

Method Summary
int	get()
void	inc()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

value

private int value

Constructor Detail

Counter

public Counter()

Method Detail

inc

public void inc()

---

get

public int get()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> [ test overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---