[PRD] Safeness definition in flux again...

********* NOTICE **********
My new email address at IBM is: csma@fr.ibm.com
My ILOG email address will not be forwarded after June 8
*****************************
All,

Trying more examples, I found out that my simplification of the 
definitions of UBV and CBV had been a bit too drastic, and that I droped 
into unsafeness a case where there was still some hope :-(

I started re-inserting that case, but I am not done yet. I fear that the 
definition of safeness in PRD will still be WIP until further notice (and 
that will be tomorrow, 'cause I'm calling it a day, now).

Cheers,

Christian

ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430