← Back to branch summary

~peter-gjoel/verifytapn/verifytapn

~peter-gjoel/verifytapn/verifytapn

Viewing all changes in revision 161.

Committer: Peter G. Jensen
Date: 2020-03-20 16:42:35 UTC
Revision ID: peter.gjoel@gmail.com-20200320164235-gfs4jt7fxm2ep3h0

removing un-needed shared pointers. Better, but not good structure.

files modified:
include/Core/SymbolicMarking/DBMMarking.hpp

include/Core/SymbolicMarking/DiscreteInclusionMarkingFactory.hpp

include/Core/SymbolicMarking/UppaalDBMMarkingFactory.hpp

include/Core/TAPN/InhibitorArc.hpp

include/Core/TAPN/OutputArc.hpp

include/Core/TAPN/TimedArcPetriNet.hpp

include/Core/TAPN/TimedInputArc.hpp

include/Core/TAPN/TimedPlace.hpp

include/Core/TAPN/TimedTransition.hpp

include/Core/TAPN/TransportArc.hpp

include/Core/TAPNParser/TAPNXmlParser.hpp

src/Core/SymbolicMarking/DBMMarking.cpp

src/Core/TAPN/InhibitorArc.cpp

src/Core/TAPN/Pairing.cpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedTransition.cpp

src/Core/TAPNParser/TAPNXmlParser.cpp

src/ReachabilityChecker/SuccessorGenerator.cpp

src/main.cpp

Show diffs side-by-side

added added

removed removed

include/Core/SymbolicMarking/DBMMarking.hpp

include/Core/SymbolicMarking/DiscreteInclusionMarkingFactory.hpp

include/Core/SymbolicMarking/UppaalDBMMarkingFactory.hpp

include/Core/TAPN/InhibitorArc.hpp

include/Core/TAPN/OutputArc.hpp

include/Core/TAPN/TimedArcPetriNet.hpp

include/Core/TAPN/TimedInputArc.hpp

include/Core/TAPN/TimedPlace.hpp

include/Core/TAPN/TimedTransition.hpp

include/Core/TAPN/TransportArc.hpp

include/Core/TAPNParser/TAPNXmlParser.hpp

src/Core/SymbolicMarking/DBMMarking.cpp

src/Core/TAPN/InhibitorArc.cpp

src/Core/TAPN/Pairing.cpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedTransition.cpp

src/Core/TAPNParser/TAPNXmlParser.cpp

src/ReachabilityChecker/SuccessorGenerator.cpp

Older »