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.
