From: Matthias S. <Mat...@in...> - 2011-07-19 16:31:24
|
Hi Laurent, they all look sound. -Matthias Am 19.07.2011 18:28, schrieb Laurent Voisin: > Dear All, > > I've just added the following rewrite rules on the wiki, which are planned for availability in Rodin 2.3. > > Set Rewriting Rules: > > SIMP_MULTI_IMP_NOT_L > SIMP_MULTI_IMP_NOT_R > SIMP_EXISTS_IMP > > Relation Rewriting Rules: > > SIMP_MULTI_DOM_DOMRES > SIMP_MULTI_DOM_DOMSUB > SIMP_MULTI_RAN_RANRES > SIMP_MULTI_RAN_RANSUB > > Could you please review them for correctness? > > Cheers, > Laurent. > > > ------------------------------------------------------------------------------ > Magic Quadrant for Content-Aware Data Loss Prevention > Research study explores the data loss prevention market. Includes in-depth > analysis on the changes within the DLP market, and the criteria used to > evaluate the strengths and weaknesses of these DLP solutions. > http://www.accelacomm.com/jaw/sfnl/114/51385063/ > _______________________________________________ > Rodin-b-sharp-user mailing list > Rod...@li... > https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user |