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.