~tapaal-ltl/verifypn/reach-aut-stub

        LTL::Structures::ProductStateFactory factory;

 

        using StateSet = std::conditional_t<SaveTrace, LTL::Structures::TraceableBitProductStateSet<>, LTL::Structures::BitProductStateSet<>>;

 

        StateSet seen;

        std::unordered_set<idx_t> store;

        std::stack<DEntry> dstack;

        // cstack positions of accepting states in current search path, for quick access.

        std::stack<idx_t> astack;

        bool violation = false;

        size_t loopstate = std::numeric_limits<size_t>::max();

        size_t looptrans = std::numeric_limits<size_t>::max();