public class RelationalOperator extends Operator
Constructor and Description |
---|
RelationalOperator(int position,
java.lang.String type,
NumberSystem number_system) |
Modifier and Type | Method and Description |
---|---|
void |
act(java.util.Stack<Expression> S) |
java.lang.String |
reverseOperator(java.lang.String a) |
java.lang.String |
toString() |
getPriority, isLeftParenthesis, isOperator, put, rightAssociativity, setPriority
getArity, getPositionInPredicate, put, setArity, setPositionInPredicate
public RelationalOperator(int position, java.lang.String type, NumberSystem number_system) throws java.lang.Exception
java.lang.Exception
public void act(java.util.Stack<Expression> S) throws java.lang.Exception
public java.lang.String reverseOperator(java.lang.String a)