Dear all, When two graphs merged, arcs are never merged,why? What the difference between a single assertion and duplicated assertions? The literals,which were not merged in previous specificaions, are merged in this version. Would the same change happen to arcs? Best regards, JeffZhang jeffzhang726@yahoo.com.cn 2002-11-29 _________________________________________________________ Do You Yahoo!? "是IT精英吗？小试牛刀获时尚大奖！" http://cn.promo.yahoo.com/cgi-bin/udb/uReceived on Thursday, 28 November 2002 22:57:47 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:57 GMT