← Back to branch summary

~verifydtapn-contributers/verifydtapn/CutOptimization

« back to all changes in this revision

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

  • Committer: Peter Gjøl Jensen
  • Date: 2013-04-08 14:19:38 UTC
  • Revision ID: peter.gjoel@gmail.com-20130408141938-7bxrsw1u0pljeude
removed redundant deffinition of cut

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp
46
46
        vector<NonStrictMarking*> getPossibleNextMarkings(const NonStrictMarking& marking);
47
47
        bool addToPW(NonStrictMarking* marking, NonStrictMarking* parent);
48
48
        bool isDelayPossible(NonStrictMarking& marking);
49
 
        void cut(NonStrictMarking* m);
50
49
 
51
50
protected:
52
51
        int validChildren;