|
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: <Exists> (XML serialization of Var_plus) (XML serialization of CONDIT) </Exists>
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.