equal
deleted
inserted
replaced
997 ///function for setting ReachedMap |
997 ///function for setting ReachedMap |
998 /// |
998 /// |
999 template<class T> |
999 template<class T> |
1000 DfsWizard<DefReachedMapBase<T> > reachedMap(const T &t) |
1000 DfsWizard<DefReachedMapBase<T> > reachedMap(const T &t) |
1001 { |
1001 { |
1002 Base::_pred=reinterpret_cast<void*>(const_cast<T*>(&t)); |
1002 Base::_reached=reinterpret_cast<void*>(const_cast<T*>(&t)); |
1003 return DfsWizard<DefReachedMapBase<T> >(*this); |
1003 return DfsWizard<DefReachedMapBase<T> >(*this); |
1004 } |
1004 } |
1005 |
1005 |
1006 |
1006 |
1007 template<class T> |
1007 template<class T> |
1018 ///function for setting ProcessedMap |
1018 ///function for setting ProcessedMap |
1019 /// |
1019 /// |
1020 template<class T> |
1020 template<class T> |
1021 DfsWizard<DefProcessedMapBase<T> > processedMap(const T &t) |
1021 DfsWizard<DefProcessedMapBase<T> > processedMap(const T &t) |
1022 { |
1022 { |
1023 Base::_pred=reinterpret_cast<void*>(const_cast<T*>(&t)); |
1023 Base::_processed=reinterpret_cast<void*>(const_cast<T*>(&t)); |
1024 return DfsWizard<DefProcessedMapBase<T> >(*this); |
1024 return DfsWizard<DefProcessedMapBase<T> >(*this); |
1025 } |
1025 } |
1026 |
1026 |
1027 template<class T> |
1027 template<class T> |
1028 struct DefDistMapBase : public Base { |
1028 struct DefDistMapBase : public Base { |