public final class Operator extends Object implements Serializable
String
name
int
prio
type
Operator(String name_, String type_, int prio_)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public String name
public String type
public int prio
public Operator(String name_, String type_, int prio_)