|
|||||||||
| Home >> All >> demo >> tucson >> [ philo overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
demo.tucson.philo
Class PrologPhilo

java.lang.Objectdemo.tucson.philo.PrologPhilo
- class PrologPhilo
- extends java.lang.Object
the prolog philosopher running on the tuprolog virtual machine
| Constructor Summary | |
(package private) |
PrologPhilo(java.lang.String name,
alice.tucson.TupleCentreId tid)
|
| Method Summary | |
(package private) java.lang.String |
makeTheory(alice.tucson.TupleCentreId tid,
java.lang.String name)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
PrologPhilo
PrologPhilo(java.lang.String name, alice.tucson.TupleCentreId tid)
| Method Detail |
makeTheory
java.lang.String makeTheory(alice.tucson.TupleCentreId tid, java.lang.String name)
|
|||||||||
| Home >> All >> demo >> tucson >> [ philo overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
demo.tucson.philo.PrologPhilo