Non-terminal symbol UniTerm

rule(s)occurrences

Defining rules for nonterminal symbol UniTerm:

UniTerm Const  OPENPAR  UniTermBody  CLOSEPAR 

Occurrences of symbol UniTerm in body of other rules:

Atom UniTerm 
Expr UniTerm 

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