← Back to branch summary

~peter-gjoel/verifydtapn/ABPTraceFix

~peter-gjoel/verifydtapn/ABPTraceFix

Viewing all changes in revision 329.

Committer: Jiri Srba
Date: 2015-06-24 13:17:29 UTC
mfrom: (324.2.23 WorkflowRefactor)
Revision ID: srba@cs.aau.dk-20150624131729-zbep95wn7rm20rk7

refactoring of the code for workflow analysis

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

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

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/PWList.hpp

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

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 »