equal
deleted
inserted
replaced
1316 |
1316 |
1317 ///@{ |
1317 ///@{ |
1318 template <class T> |
1318 template <class T> |
1319 struct SetReachedMapTraits : public Traits { |
1319 struct SetReachedMapTraits : public Traits { |
1320 typedef T ReachedMap; |
1320 typedef T ReachedMap; |
1321 static ReachedMap *createReachedMap(const Digraph &digraph) { |
1321 static ReachedMap *createReachedMap(const Digraph &) { |
1322 LEMON_ASSERT(false, "ReachedMap is not initialized"); |
1322 LEMON_ASSERT(false, "ReachedMap is not initialized"); |
1323 return 0; // ignore warnings |
1323 return 0; // ignore warnings |
1324 } |
1324 } |
1325 }; |
1325 }; |
1326 /// \brief \ref named-templ-param "Named parameter" for setting |
1326 /// \brief \ref named-templ-param "Named parameter" for setting |