Non-terminal symbol Atom

rule(s)occurrences


Defining rules for nonterminal symbol Atom:

Atom 'Rel'  '(TERM_star  ')
TERM  '=TERM 


Occurrences of symbol Atom in body of other rules:

LITFORM Atom 
LITFORM 'NegAtom 
LITFORM 'NafAtom 
LITFORM 'Naf'  'NegAtom 


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