why arcs never be merged?

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/u

Received on Thursday, 28 November 2002 22:57:47 UTC