|
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.