Non-terminal symbol Formulas

rule(s)occurrences

Defining rules for nonterminal symbol Formulas:

Formulas Formula 
Formulas  Formula 

Occurrences of symbol Formulas in body of other rules:

Formulas_opt Formulas 

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