add some new function to Graph and Timer.

fix the problem of Arc can not be the element of std::set.