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