← Back to branch summary

~peter-gjoel/verifydtapn/ABPTraceFix

~peter-gjoel/verifydtapn/ABPTraceFix

Viewing all changes in revision 327.

Committer: Jiri Srba
Date: 2015-06-24 12:50:45 UTC
mfrom: (324.2.20 PTrieCleanup)
Revision ID: srba@cs.aau.dk-20150624125045-v4p6bnhn66d5bvz7

merged in branch refactoring the use of PTrie

files added:
src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/binarywrapper.h

src/DiscreteVerification/DataStructures/ptrie.h

files removed:
src/DiscreteVerification/DataStructures/EncodingStructure.h

src/DiscreteVerification/DataStructures/PTrie.h

files modified:
src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/TimeDart.hpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp

src/DiscreteVerification/DataStructures/TimeDartPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartPWList.hpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/DiscreteVerification.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/DataStructures/EncodingStructure.h

src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/PTrie.h

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/TimeDart.hpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp

src/DiscreteVerification/DataStructures/TimeDartPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartPWList.hpp

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DataStructures/binarywrapper.h

src/DiscreteVerification/DataStructures/ptrie.h

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/DiscreteVerification.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

Older »