← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/DataStructures/WaitingList.hpp

  • Committer: Peter Gjøl Jensen
  • Date: 2015-06-22 22:14:57 UTC
  • Revision ID: peter.gjoel@gmail.com-20150622221457-ihkp7ph43etwgceq
conforms to previous branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/DataStructures/WaitingList.hpp
136
136
        virtual T pop();
137
137
        virtual size_t size() { return queue.size(); };
138
138
protected:
139
 
        virtual int calculateWeight(T payload);
 
139
        virtual int calculateWeight(T payload); 
140
140
 
141
141
        priority_queue queue;
142
142
        AST::Query* query;