Changeset 135
- Timestamp:
- 03/23/08 10:40:41 (8 months ago)
- Files:
-
- branches/debug/core/src/shooting_star_boost_wrapper.cpp (modified) (2 diffs)
- branches/debug/core/src/shooting_star_search.hpp (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
branches/debug/core/src/shooting_star_boost_wrapper.cpp
r129 r135 90 90 { 91 91 public: 92 shooting_star_goal_visitor(Edge goal, int max_id) : m_goal(goal) , e_max_id(max_id)92 shooting_star_goal_visitor(Edge goal, int max_id) : m_goal(goal) 93 93 { 94 94 std::fstream myfile; … … 97 97 myfile.close(); 98 98 } 99 shooting_star_goal_visitor(const shooting_star_goal_visitor &gv) : m_goal(gv.m_goal) , e_max_id(gv.e_max_id)99 shooting_star_goal_visitor(const shooting_star_goal_visitor &gv) : m_goal(gv.m_goal) 100 100 { 101 101 std::fstream myfile; branches/debug/core/src/shooting_star_search.hpp
r131 r135 155 155 { 156 156 // Get an edge from the top 157 myfile<<" examine edge "<<g[ e].id<<"\n"<<std::flush;157 myfile<<" examine edge "<<g[s].id<<"\n"<<std::flush; 158 158 Edge e = Q.top(); Q.pop(); 159 159
