Author: suermeli
Date: Wed Jun 17 16:41:14 2009
New Revision: 4307
URL: http://svn.gna.org/viewcvs/service-tech?rev=4307&view=rev
Log:
- final conditions are unfolded to (finite) sets of final markings (given a
bound for P > 3 and the like)
- linda now evaluates event terms instead of sets of events
- functionality is now more encapsulated into classes
this is still an alpha version. there is a number of known issues with known or
unknown causes.
Added:
trunk/linda/src/eventTerm.cc
trunk/linda/src/eventTerm.h
trunk/linda/src/setsOfFinalMarkings.cc
trunk/linda/src/setsOfFinalMarkings.h
trunk/linda/src/stateEquation.cc
trunk/linda/src/stateEquation.h
Modified:
trunk/linda/src/Makefile.am
trunk/linda/src/cmdline.ggo
trunk/linda/src/main.cc
--
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.
