alice.tuprolog

Class Operator

java.lang.Object

alice.tuprolog.Operator

All Implemented Interfaces:

Serializable

public final class Operator
extends Object
implements Serializable

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
String	name operator name
int	prio priority
String	type type(xf,yf,fx,fy,xfx,xfy,yfy,yfx

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public String name

operator name

type

public String type

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

prio

public int prio

priority