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