Author: sh0
Date: Sun Feb 1 18:19:15 2009
New Revision: 3787
URL: http://svn.gna.org/viewcvs/service-tech?rev=3787&view=rev
Log:
Move CurrentMarking, Place::hash_value, Transition::StartOfEnabledList,
Transition::NrEnabled, Transition::StartOfIgnoredList,
Transition::StartOfStubbornList, Transition::EndOfStubbornList,
Transition::NrStubborn, Transition::TarjanStack, Transition::CallStack to newly
created CS (mnemonic Current State) namespace
Modified:
branches/lola-modular/lola/src/check.cc
branches/lola-modular/lola/src/formula.cc
branches/lola-modular/lola/src/graph.H
branches/lola-modular/lola/src/graph.cc
branches/lola-modular/lola/src/ltl.cc
branches/lola-modular/lola/src/mbencoding.cc
branches/lola-modular/lola/src/net.H
branches/lola-modular/lola/src/net.cc
branches/lola-modular/lola/src/path.cc
branches/lola-modular/lola/src/printnet.cc
branches/lola-modular/lola/src/readnet-syntax.yy
branches/lola-modular/lola/src/stubborn.cc
branches/lola-modular/lola/src/sweep.cc
branches/lola-modular/lola/src/symm.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.
