equal
deleted
inserted
replaced
172 |
172 |
173 template <class H, class CR> |
173 template <class H, class CR> |
174 struct SetHeapTraits : public Traits { |
174 struct SetHeapTraits : public Traits { |
175 typedef CR HeapCrossRef; |
175 typedef CR HeapCrossRef; |
176 typedef H Heap; |
176 typedef H Heap; |
177 static HeapCrossRef *createHeapCrossRef(int num) { |
177 static HeapCrossRef *createHeapCrossRef(int) { |
178 LEMON_ASSERT(false, "HeapCrossRef is not initialized"); |
178 LEMON_ASSERT(false, "HeapCrossRef is not initialized"); |
179 return 0; // ignore warnings |
179 return 0; // ignore warnings |
180 } |
180 } |
181 static Heap *createHeap(HeapCrossRef &) { |
181 static Heap *createHeap(HeapCrossRef &) { |
182 LEMON_ASSERT(false, "Heap is not initialized"); |
182 LEMON_ASSERT(false, "Heap is not initialized"); |