← Back to branch summary

~tapaal-ltl/verifypn/automata-stub

« back to all changes in this revision

Viewing changes to src/PetriEngine/Stubborn/ReachabilityStubbornSet.cpp

  • Committer: Simon Virenfeldt
  • Date: 2021-04-15 13:05:39 UTC
  • Revision ID: simwir1@gmail.com-20210415130539-h8fup4ctg0n2ridp
Fix retarding stubborn set not being prepared.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/PetriEngine/Stubborn/ReachabilityStubbornSet.cpp
32
32
        }
33
33
        for (auto &q : _queries) {
34
34
            q->evalAndSet(PQL::EvaluationContext((*_parent).marking(), &_net));
35
 
            InterestingTransitionVisitor interesting{*this, true};
 
35
            InterestingTransitionVisitor interesting{*this, _closure};
36
36
 
37
37
            q->visit(interesting);
38
38
        }