Non-terminal symbol QUANTIF

rule(s)occurrences


Defining rules for nonterminal symbol QUANTIF:

QUANTIF 'ExistsVar_plus  '(CONDIT  ')
'ForallVar_plus  '(CONDIT  ')


Occurrences of symbol QUANTIF in body of other rules:

CONDIT QUANTIF 


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