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

---

alice.tuprolog
Class DefaultOperatorManager  

java.lang.Object
  alice.tuprolog.OperatorManager
      alice.tuprolog.DefaultOperatorManager

All Implemented Interfaces:

java.io.Serializable

---

class DefaultOperatorManager

extends OperatorManager

an operator manager with some standard operators defined

---

Field Summary

 

Fields inherited from class alice.tuprolog.OperatorManager

OP_HIGH, OP_LOW, opQueue

 

Constructor Summary

DefaultOperatorManager()

 

Methods inherited from class alice.tuprolog.OperatorManager

getOperators, opNew, opNext, opPrio

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

DefaultOperatorManager

public DefaultOperatorManager()

---

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

---