← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

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

  • Committer: Peter Gjøl Jensen
  • Date: 2015-06-22 22:14:57 UTC
  • Revision ID: peter.gjoel@gmail.com-20150622221457-ihkp7ph43etwgceq
conforms to previous branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/VerificationTypes/Workflow.hpp
46
46
        
47
47
protected:
48
48
    virtual void deleteMarking(NonStrictMarking* marking){
49
 
       // delete marking;
 
49
 
50
50
    };
51
51
        TimedPlace* in;
52
52
        TimedPlace* out;