Non-terminal symbol RawFormula

rule(s)occurrences


Defining rules for nonterminal symbol RawFormula:

RawFormula AtomicFormula 
AND  OPENPAR  Formula_star  CLOSEPAR 
OR  OPENPAR  Formula_star  CLOSEPAR 
EXISTS  Var_plus  OPENPAR  Formula  CLOSEPAR 
EXTERNAL  OPENPAR  AtomOrFrame  CLOSEPAR 


Occurrences of symbol RawFormula in body of other rules:

Formula IriMeta_opt  RawFormula 


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