Author: fahland
Date: Sat Jul 23 22:57:17 2011
New Revision: 6793

URL: http://svn.gna.org/viewcvs/service-tech?rev=6793&view=rev
Log:
* computation of implicit places now in three modes: preserve behavior,
  preserve visible behavior (that is recorded in a log-induced branching
  process), and preserve connectivity of the net wrt. the log

Modified:
    trunk/Service-Tech-Java/uma/ChangeLog
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSet.java
    
trunk/Service-Tech-Java/uma/src/hub/top/uma/synthesis/TransitiveDependencies.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/view/MineSimplify.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/view/ViewGeneration2.java


--
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
[email protected]. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.

Reply via email to