Yacc Form of grammar RCL.grm


Copyright © 2006 ILOG, Inc.; All Rights Reserved.

This yacc grammar was generated on Wed May 03 20:59:51 PDT 2006 from the annotated Jacc grammar file RCL.grm.


RCL
	: CONDIT 
	;

CONDIT
	: CONJ 
	| DISJ 
	| QUANTIF 
	| LITFORM 
	;

CONJ
	: 'And' '(' CONDIT_star ')' 
	;

DISJ
	: 'Or' '(' CONDIT_star ')' 
	;

QUANTIF
	: 'Exists' Var_plus '(' CONDIT ')' 
	| 'Forall' Var_plus '(' CONDIT ')' 
	;

LITFORM
	: Atom 
	| 'Neg' Atom 
	| 'Naf' Atom 
	| 'Naf' 'Neg' Atom 
	;

Atom
	: 'Rel' '(' TERM_star ')' 
	| TERM '=' TERM 
	;

TERM
	: 'Data' 
	| 'Ind' 
	| 'Var' 
	| Expr 
	;

Expr
	: 'Fun' '(' TERM_star ')' 
	;

CONDIT_star
	: /* empty */
	| CONDIT_plus 
	;

CONDIT_plus
	: CONDIT 
	| CONDIT_plus CONDIT 
	;

TERM_star
	: /* empty */
	| TERM_plus 
	;

TERM_plus
	: TERM 
	| TERM_plus TERM 
	;

Var_plus
	: 'Var' 
	| Var_plus 'Var' 
	;


Copyright © 2006 ILOG, Inc.; All Rights Reserved.