~peter-gjoel/verifydtapn/PTrieWorkflow

Viewing changes to src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h

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/DataStructures/CoveredMarkingVisitor.h

public:

CoveredMarkingVisitor(

MarkingEncoder<MetaData*, NonStrictMarking>& enc);

~CoveredMarkingVisitor();

virtual bool back(uint32_t index);

virtual bool set(uint32_t index, bool value);

virtual bool set_remainder(uint32_t index,

Older »