← Back to branch summary

~tapaal-ltl/verifypn/resuming-stubborn-tarjan

« back to all changes in this revision

Viewing changes to include/PetriEngine/Stubborn/StubbornSet.h

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-03-05 09:02:55 UTC
  • Revision ID: nikolaj@njulrik.dk-20210305090255-2h34frq1618r1m28
alternate resuming tarjan model checker now correct(er)

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/PetriEngine/Stubborn/StubbornSet.h
55
55
            _queries.push_back(query.get());
56
56
        }
57
57
 
58
 
        virtual void prepare(const Structures::State *marking) = 0;
 
58
        virtual bool prepare(const Structures::State *marking) = 0;
59
59
 
60
60
        uint32_t next();
61
61