equal
deleted
inserted
replaced
1374 |
1374 |
1375 ///@{ |
1375 ///@{ |
1376 template <class T> |
1376 template <class T> |
1377 struct SetReachedMapTraits : public Traits { |
1377 struct SetReachedMapTraits : public Traits { |
1378 typedef T ReachedMap; |
1378 typedef T ReachedMap; |
1379 static ReachedMap *createReachedMap(const Digraph &digraph) { |
1379 static ReachedMap *createReachedMap(const Digraph &) { |
1380 LEMON_ASSERT(false, "ReachedMap is not initialized"); |
1380 LEMON_ASSERT(false, "ReachedMap is not initialized"); |
1381 return 0; // ignore warnings |
1381 return 0; // ignore warnings |
1382 } |
1382 } |
1383 }; |
1383 }; |
1384 /// \brief \ref named-templ-param "Named parameter" for setting |
1384 /// \brief \ref named-templ-param "Named parameter" for setting |