Token

Class RelationalOperator

java.lang.Object

Token.Token

Token.Operator

Token.RelationalOperator

public class RelationalOperator
extends Operator

Constructor Summary

Constructors

Constructor and Description
RelationalOperator(int position, java.lang.String type, NumberSystem number_system)

Method Summary

Methods

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()

Methods inherited from class Token.Operator

getPriority, isLeftParenthesis, isOperator, put, rightAssociativity, setPriority

Methods inherited from class Token.Token

getArity, getPositionInPredicate, put, setArity, setPositionInPredicate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RelationalOperator

public RelationalOperator(int position,
                  java.lang.String type,
                  NumberSystem number_system)
                   throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Operator

act

public void act(java.util.Stack<Expression> S)
         throws java.lang.Exception

Specified by:

act in class Token

Throws:

java.lang.Exception

reverseOperator

public java.lang.String reverseOperator(java.lang.String a)