Non-terminal symbol LITFORM

rule(s)occurrences


Defining rules for nonterminal symbol LITFORM:

LITFORM Atom 
'NegAtom 
'NafAtom 
'Naf'  'NegAtom 


Occurrences of symbol LITFORM in body of other rules:

CONDIT LITFORM 


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