Rule QUANTIF_1

QUANTIF 'Exists' Var_plus '(' CONDIT ')' 

Description

This represents an existentially quantified formula using prefixed 'Exists' followed by zero or more Vars and a CONDIT between parentheses.

Its XML serialization form is: 

       <rcl:Exists>
         (XML serialization of Var_plus)
         (XML serialization of CONDIT)
       </rcl:Exists>

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