RCL_forall.grm
|
// Additional rule for QUANTIF: // QUANTIF ::= 'Forall' Var+ '(' CONDIT ')' QUANTIF : 'Forall' Var_plus '(' CONDIT ')'
This represents an existentially quantified formula using
prefixed '$Forall$' followed by zero or more $Var$s and a
$CONDIT$ between parentheses.
Its XML serialization form is: <rcl:Forall> (XML serialization of $Var_plus$) (XML serialization of $CONDIT$) </rcl:Forall> |
[ rcl:Forall 2 4 ] // XML serialization pattern ;
This file was generated on Mon Mar 31 17:18:18 PDT 2008 from file RCL_forall.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci