RCL_forall.html

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 Thu Oct 05 10:28:30 CEST 2006 from file RCL_forall.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci