← Back to branch summary

~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to include/LTL/SuccessorGeneration/ResumingSuccessorGenerator.h

  • Committer: Jiri Srba
  • Date: 2021-08-05 19:57:19 UTC
  • mfrom: (234.1.39 ltl-spring-2021)
  • Revision ID: srba@cs.aau.dk-20210805195719-tyf98wgglgn8xd0d
merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/LTL/SuccessorGeneration/ResumingSuccessorGenerator.h
81
81
    class ResumingSuccessorGenerator : public PetriEngine::SuccessorGenerator {
82
82
    public:
83
83
 
84
 
        ResumingSuccessorGenerator(const PetriEngine::PetriNet &net);
85
 
 
86
 
        ResumingSuccessorGenerator(const PetriEngine::PetriNet &net, const std::shared_ptr<PetriEngine::StubbornSet> &);
87
 
 
88
 
        ResumingSuccessorGenerator(const PetriEngine::PetriNet &net,
 
84
        ResumingSuccessorGenerator(const PetriEngine::PetriNet *net);
 
85
 
 
86
        ResumingSuccessorGenerator(const PetriEngine::PetriNet *net, const std::shared_ptr<PetriEngine::StubbornSet> &);
 
87
 
 
88
        ResumingSuccessorGenerator(const PetriEngine::PetriNet *net,
89
89
                                   std::vector<std::shared_ptr<PetriEngine::PQL::Condition> > &queries);
90
90
 
91
 
        ResumingSuccessorGenerator(const PetriEngine::PetriNet &net,
 
91
        ResumingSuccessorGenerator(const PetriEngine::PetriNet *net,
92
92
                                   const std::shared_ptr<PetriEngine::PQL::Condition> &query);
93
93
 
94
94
        ~ResumingSuccessorGenerator() override = default;