alice.tuprolog
Class Operator

java.lang.Object
  extended byalice.tuprolog.Operator
All Implemented Interfaces:
java.io.Serializable

public final class Operator
extends java.lang.Object
implements java.io.Serializable

This class defines a tuProlog operator, in terms of a name, a type, and a priority.

See Also:
Serialized Form

Field Summary
 java.lang.String name
          operator name
 int prio
          priority
 java.lang.String type
          type(xf,yf,fx,fy,xfx,xfy,yfy,yfx
 
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