← Back to branch summary

~tapaal-ltl/verifypn/stubborn-set-refactor-merged

« back to all changes in this revision

Viewing changes to include/PetriEngine/SuccessorGenerator.h

  • Committer: Peter G. Jensen
  • Date: 2021-03-05 16:43:31 UTC
  • mfrom: (226.2.36 ltl-model-checker)
  • Revision ID: root@petergjoel.dk-20210305164331-ufyicvb925rocwrj
Merged stubborn-refactor and ltl engine

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/PetriEngine/SuccessorGenerator.h
60
60
     */
61
61
    void producePostset(Structures::State& write, uint32_t t);
62
62
 
63
 
private:
 
63
    size_t last_transition() const { return _suc_tcounter == std::numeric_limits<uint32_t>::max() ? std::numeric_limits<uint32_t>::max() : _suc_tcounter - 1; }
 
64
 
 
65
protected:
64
66
    const PetriNet& _net;
 
67
 
 
68
    bool next(Structures::State &write, uint32_t &tindex);
 
69
 
65
70
    const Structures::State* _parent;
 
71
 
66
72
    uint32_t _suc_pcounter;
67
73
    uint32_t _suc_tcounter;
68
74
 
 
75
private:
 
76
 
69
77
    friend class ReducingSuccessorGenerator;
 
78
 
70
79
};
71
80
}
72
81