← Back to branch summary

~verifydtapn-contributers/verifydtapn/trunk

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.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:
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp
53
53
        int validChildren;
54
54
};
55
55
 
 
56
class WorkflowStrongSoundnessPTrie : public WorkflowStrongSoundnessReachability
 
57
{
 
58
public:
 
59
    WorkflowStrongSoundnessPTrie(
 
60
            TAPN::TimedArcPetriNet& tapn,
 
61
            NonStrictMarking& initialMarking, 
 
62
            AST::Query* query, 
 
63
            VerificationOptions options, 
 
64
            WaitingList<ptriepointer_t<MetaData*> >* waiting_list);
 
65
    virtual void getTrace();
 
66
    virtual void deleteMarking(NonStrictMarking* marking)
 
67
    {
 
68
        delete marking;
 
69
    }
 
70
 
 
71
protected:
 
72
        virtual void swapData(NonStrictMarking* marking, NonStrictMarking* old);
 
73
        virtual void clearTrace();
 
74
};
 
75
 
56
76
} /* namespace DiscreteVerification */
57
77
} /* namespace VerifyTAPN */
58
78
#endif /* NONSTRICTSEARCH_HPP_ */