Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: 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

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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD