Non-terminal symbol Var_plus

rule(s)occurrences


Defining rules for nonterminal symbol Var_plus:

Var_plus 'Var
Var_plus  'Var


Occurrences of symbol Var_plus in body of other rules:

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


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