clarified spec

98628bfe · Davis King · 014aa448 · 98628bfe
Commit 98628bfe authored Jan 21, 2013 by Davis King
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

edge_list_graphs_abstract.h dlib/graph_utils/edge_list_graphs_abstract.h +1 -0

No files found.
--- a/dlib/graph_utils/edge_list_graphs_abstract.h
+++ b/dlib/graph_utils/edge_list_graphs_abstract.h
@@ -266,6 +266,7 @@ namespace dlib
              function terminates.
            - #pairs.size() <= pairs.size()
            - is_ordered_by_index(#pairs) == true
+            - contains_duplicate_pairs(#pairs) == false
    !*/

 // ----------------------------------------------------------------------------------------