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 Operator  

java.lang.Object
  alice.tuprolog.Operator

All Implemented Interfaces:

java.io.Serializable

---

public final class Operator

extends java.lang.Object

implements java.io.Serializable

prolog operator info: name, type, priority

---

Field Summary
java.lang.String	name           operator name
int	prio           priority
java.lang.String	type           type(xf,yf,fx,fy,xfx,xfy,yfy,yfx

 

Constructor Summary
(package private)	Operator(java.lang.String name_, java.lang.String type_, int prio_)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

name

public java.lang.String name

operator name

---

type

public java.lang.String type

type(xf,yf,fx,fy,xfx,xfy,yfy,yfx

---

prio

public int prio

priority

Constructor Detail

Operator

Operator(java.lang.String name_,
         java.lang.String type_,
         int prio_)

---

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

---