Token

Class LogicalOperator

java.lang.Object

Token.Token

Token.Operator

Token.LogicalOperator

public class LogicalOperator
extends Operator

Constructor Summary

Constructors

Constructor and Description
LogicalOperator(int position, java.lang.String op)
LogicalOperator(int position, java.lang.String op, int number_of_quantified_variables)

Method Summary

Methods

Modifier and Type	Method and Description
void	act(java.util.Stack<Expression> S)

Methods inherited from class Token.Operator

getPriority, isLeftParenthesis, isOperator, put, rightAssociativity, setPriority, toString

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

LogicalOperator

public LogicalOperator(int position,
               java.lang.String op)
                throws java.lang.Exception

Throws:

java.lang.Exception

LogicalOperator

public LogicalOperator(int position,
               java.lang.String op,
               int number_of_quantified_variables)
                throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

act

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

Specified by:

act in class Token

Throws:

java.lang.Exception