Author: stephan
Date: Wed May 13 23:14:09 2009
New Revision: 4119
URL: http://svn.gna.org/viewcvs/service-tech?rev=4119&view=rev
Log:
* reorganized automaton class
* PetriNet => Automaton (service automaton) works task #6075
(https://gna.org/task/?6075)
* stateMachine test fails (confirmed and partly fixed)
* removed STG output format because it's just needed to
transform an automaton into a Petri net (will be implemented in
Automaton => PetriNet)
* introduced normalize_classical as private method (normalization rules
will follow)
Modified:
trunk/pnapi/src/automaton.cc
trunk/pnapi/src/automaton.h
trunk/pnapi/src/io-format.cc
trunk/pnapi/src/io.cc
trunk/pnapi/src/io.h
trunk/pnapi/src/petrinet.cc
trunk/pnapi/src/petrinet.h
trunk/pnapi/src/state.cc
trunk/pnapi/src/state.h
trunk/pnapi/tests/automaton/test_construction.cc
trunk/pnapi/tests/automaton/test_statemachine.cc
trunk/pnapi/tests/petrinet/test_markings.cc
trunk/pnapi/utils/cmdline.ggo
trunk/pnapi/utils/petri.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.
