← Back to branch summary

~verifytapn/verifytapn/1.0

~verifytapn/verifytapn/1.0

Viewing all changes in revision 77.

Committer: Morten Jacobsen
Date: 2011-02-11 13:07:31 UTC
Revision ID: morten.jacobsen.2k+tapaal@gmail.com-20110211130731-ys2pil3mnk3nkapc

started working on trace generation with the new marking representation.

files added:
src/Core/SymbolicMarking/UppaalDBMMarkingFactory.cpp

files modified:
src/Core/SymbolicMarking/AbstractMarking.hpp

src/Core/SymbolicMarking/DBMMarking.cpp

src/Core/SymbolicMarking/DBMMarking.hpp

src/Core/SymbolicMarking/MarkingFactory.hpp

src/Core/SymbolicMarking/UppaalDBMMarkingFactory.hpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedPlace.cpp

src/Core/TAPN/TimedPlace.hpp

src/Core/TAPNParser/TAPNXmlParser.cpp

src/ReachabilityChecker/SearchStrategy.cpp

src/ReachabilityChecker/SuccessorGenerator.cpp

Show diffs side-by-side

added added

removed removed

src/Core/SymbolicMarking/AbstractMarking.hpp

src/Core/SymbolicMarking/DBMMarking.cpp

src/Core/SymbolicMarking/DBMMarking.hpp

src/Core/SymbolicMarking/MarkingFactory.hpp

src/Core/SymbolicMarking/UppaalDBMMarkingFactory.cpp

src/Core/SymbolicMarking/UppaalDBMMarkingFactory.hpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedPlace.cpp

src/Core/TAPN/TimedPlace.hpp

src/Core/TAPNParser/TAPNXmlParser.cpp

src/ReachabilityChecker/SearchStrategy.cpp

src/ReachabilityChecker/SuccessorGenerator.cpp

Older »