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

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

equals, 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