← Back to branch summary

~tapaal-ltl/verifypn/answer-for-gui

« back to all changes in this revision

Viewing changes to src/PetriEngine/Structures/Queue.cpp

  • Committer: srba.jiri at gmail
  • Date: 2021-04-02 18:13:50 UTC
  • mfrom: (230.1.28 mcc2021)
  • Revision ID: srba.jiri@gmail.com-20210402181350-k71xtjut3r48l1o5
merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/PetriEngine/Structures/Queue.cpp
70
70
        {
71
71
            _stack.push(id);
72
72
        }
73
 
        
 
73
 
 
74
        bool DFSQueue::top(State &state) const {
 
75
            if(_stack.empty()) return false;
 
76
            uint32_t n = _stack.top();
 
77
            _states->decode(state, n);
 
78
            return true;
 
79
        }
 
80
 
74
81
        RDFSQueue::RDFSQueue(StateSetInterface* states) : Queue(states) {}
75
82
        RDFSQueue::~RDFSQueue(){}
76
 
       
 
83
 
77
84
        auto rng = std::default_random_engine {};
78
85
        bool RDFSQueue::pop(Structures::State& state)
79
86
        {
98
105
                return true;
99
106
            }
100
107
        }
 
108
 
 
109
        bool RDFSQueue::top(State &state) const {
 
110
            if (_stack.empty()) return false;
 
111
            uint32_t n = _stack.top();
 
112
            _states->decode(state, n);
 
113
            return true;
 
114
        }
101
115
        
102
116
        void RDFSQueue::push(size_t id, PQL::DistanceContext&,
103
117
            std::shared_ptr<PQL::Condition>& query)