equal
deleted
inserted
replaced
847 int length() const { return len; } |
847 int length() const { return len; } |
848 |
848 |
849 /// \brief Return true when the path is empty. |
849 /// \brief Return true when the path is empty. |
850 int empty() const { return len == 0; } |
850 int empty() const { return len == 0; } |
851 |
851 |
852 /// \break Erase all arcs in the digraph. |
852 /// \brief Erase all arcs in the digraph. |
853 void clear() { |
853 void clear() { |
854 len = 0; |
854 len = 0; |
855 if (arcs) delete[] arcs; |
855 if (arcs) delete[] arcs; |
856 arcs = 0; |
856 arcs = 0; |
857 } |
857 } |