public class Operator extends Object implements TermConvertable<Atom>
Constructor and Description |
---|
Operator(String name,
Specifier specifier,
int priority) |
Modifier and Type | Method and Description |
---|---|
static Operator |
asOperator(Term operatorTerm)
Constructs an operator from a term having as structure [P,S,N]
Where P is the operator's priority, S is its specifier (an integer term) and N the operator's id
|
Atom |
asTerm() |
String |
getName() |
int |
getPriority() |
Specifier |
getSpecifier() |
boolean |
isBinary() |
boolean |
isInfix() |
boolean |
isPostfix() |
boolean |
isPrefix() |
boolean |
isUnary() |
public String getName()
public Specifier getSpecifier()
public int getPriority()
public Atom asTerm()
asTerm
in interface TermConvertable<Atom>
public static Operator asOperator(Term operatorTerm)
operatorTerm
- the term representing an operatorpublic boolean isUnary()
public boolean isBinary()
public boolean isPrefix()
public boolean isPostfix()
public boolean isInfix()
Copyright © 2014. All rights reserved.