equal
deleted
inserted
replaced
830 /// an "id" named map then it will write the map value belongs to the |
830 /// an "id" named map then it will write the map value belongs to the |
831 /// edge. Otherwise if the \c forceId parameter was true it |
831 /// edge. Otherwise if the \c forceId parameter was true it |
832 /// will write its id in the graph. If the edge is forward map |
832 /// will write its id in the graph. If the edge is forward map |
833 /// then its prefix character is \c '+' elsewhere \c '-'. |
833 /// then its prefix character is \c '+' elsewhere \c '-'. |
834 void writeId(std::ostream& os, const Edge& item) const { |
834 void writeId(std::ostream& os, const Edge& item) const { |
835 if (graph.forward(item)) { |
835 if (graph.direction(item)) { |
836 os << "+ "; |
836 os << "+ "; |
837 } else { |
837 } else { |
838 os << "- "; |
838 os << "- "; |
839 } |
839 } |
840 if (forceIdMap) { |
840 if (forceIdMap) { |