~peter-gjoel/verifydtapn/PTrieWorkflow

Viewing changes to src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

Committer: Peter Gjøl Jensen
Date: 2015-06-22 14:45:39 UTC
Revision ID: peter.gjoel@gmail.com-20150622144539-skkruwkgsx3gnuao

strong-workflow + ptrie checked for leaks and memmory-corruption. Has controlled leak of two markings, not fixed as this would clutter up the code even more

files modified:
src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h

src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DataStructures/ptrie.h

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/SearchStrategies/SearchFactory.h

src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.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/VerificationTypes/WorkflowSoundness.hpp

virtual int numberOfPassed();

virtual void deleteMarking(NonStrictMarking* marking)

{

// delete marking;

delete marking;

}

virtual void getTrace(NonStrictMarking* marking);

protected:

Older »