cup-fordul

package szabivan.cup;

import java_cup.runtime.*;
import formula.data.*;

class FormulaParser;

terminal VEE, WEDGE, IMPLIES, IFF, LPAREN, RPAREN, UP, DOWN, NEGATION;
terminal String VARIABLE;

non terminal Formula formula;

precedence left IFF;
precedence right IMPLIES;
precedence left VEE;
precedence left WEDGE;
precedence left NEGATION;

formula ::= 	VARIABLE |
		LPAREN formula RPAREN |
		formula VEE formula |
		formula WEDGE formula |
		formula IMPLIES formula |
		formula IFF formula |
		NEGATION formula |
		UP |
		DOWN
		;