Rule QUANTIF_2

QUANTIF 'ForallVar_plus '(CONDIT ')


Description

This represents a universally quantified formula using prefixed 'Forall' followed by zero or more Vars and a CONDIT between parentheses.

Its XML serialization form is:

     <Forall>
       (XML serialization of Var_plus)
       (XML serialization of CONDIT)
     </Forall>
    


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