~verifydtapn-contributers/verifydtapn/trunk

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2015-08-31 12:39:10 UTC
  • mfrom: (324.3.24 PTrieWorkflow)
  • Revision ID: srba@cs.aau.dk-20150831123910-qwr9g6pq7zntajhe
merged in a big branch implementing PTrie for workflow analysis

Show diffs side-by-side

added added

removed removed

Lines of Context:
26
26
#include "../DataStructures/WaitingList.hpp"
27
27
#include "Workflow.hpp"
28
28
 
 
29
using namespace ptrie;
29
30
namespace VerifyTAPN {
30
31
namespace DiscreteVerification {
31
32
 
71
72
 
72
73
};
73
74
 
 
75
 
 
76
class WorkflowSoundnessPTrie : public WorkflowSoundness
 
77
{
 
78
public:
 
79
        WorkflowSoundnessPTrie(TAPN::TimedArcPetriNet& tapn, NonStrictMarking& initialMarking, AST::Query* query, VerificationOptions options, WaitingList<ptriepointer_t<MetaData*> >* waiting_list);
 
80
    
 
81
        virtual void addParentMeta(MetaData* meta, MetaData* parent);
 
82
        virtual int numberOfPassed();
 
83
        virtual void deleteMarking(NonStrictMarking* marking)
 
84
        {
 
85
            delete marking;
 
86
        }
 
87
        virtual void getTrace(NonStrictMarking* marking);
 
88
protected:
 
89
        virtual void setMetaParent(NonStrictMarking*);
 
90
};
 
91
 
74
92
} /* namespace DiscreteVerification */
75
93
} /* namespace VerifyTAPN */
76
94
#endif /* NONSTRICTSEARCH_HPP_ */