← Back to branch summary

~verifydtapn-contributers/verifydtapn/safety-games-boostrap

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/DataStructures/Waiting.h

  • Committer: Peter Gjøl Jensen
  • Date: 2016-01-05 21:38:13 UTC
  • Revision ID: peter.gjoel@gmail.com-20160105213813-7cb1mpblhhz14zsk
Bootstrapping 

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/DataStructures/Waiting.h
29
29
            T pop() = 0;
30
30
            virtual
31
31
            bool empty() = 0;
 
32
            virtual
 
33
            void clear() = 0;
32
34
    };
33
35
    
34
36
    
58
60
            {
59
61
                return queue.empty();
60
62
            }
 
63
            
 
64
            virtual
 
65
            void clear()
 
66
            {
 
67
                queue = std::queue<T>();
 
68
            }
61
69
    };
62
70
    
63
71
    template<typename T>
86
94
            {
87
95
                return stack.empty();
88
96
            }
 
97
 
 
98
            virtual
 
99
            void clear()
 
100
            {
 
101
                stack = std::stack<T>();
 
102
            }
89
103
    };
90
104
    
91
105
    template<typename T>
115
129
            {
116
130
                return container.empty();
117
131
            }
 
132
 
 
133
            virtual
 
134
            void clear()
 
135
            {
 
136
                container = std::vector<T>();
 
137
            }
 
138
 
118
139
    };
119
140
    
120
141
    template<typename T>
170
191
            {
171
192
                return queue.empty();
172
193
            }
 
194
 
 
195
            virtual
 
196
            void clear()
 
197
            {
 
198
                queue = std::priority_queue<weighteditem_t>();
 
199
            }
 
200
 
173
201
    };    
174
202
}
175
203
}