# HG changeset patch
# User alpar
# Date 1095847097 0
# Node ID fc7bc2dacee51fe34d7ab006c1ed6f1d75c4900c
# Parent  f485b3008cf537b9a1287ba094a0e2e5cc05f88e
'iff' changed to 'if and only if'

diff -r f485b3008cf5 -r fc7bc2dacee5 src/hugo/path.h
--- a/src/hugo/path.h	Wed Sep 22 09:55:41 2004 +0000
+++ b/src/hugo/path.h	Wed Sep 22 09:58:17 2004 +0000
@@ -267,7 +267,8 @@
 
       /// Sets the starting node of the path. Edge added to the path
       /// afterwards have to be incident to this node.
-      /// It should be called iff the path is empty and before any call to
+      /// It should be called if and only if
+      /// the path is empty and before any call to
       /// \ref pushFront() or \ref pushBack()
       void setStartNode(const GraphNode &) {}
 
@@ -606,7 +607,8 @@
 
       /// Sets the starting node of the path. Edge added to the path
       /// afterwards have to be incident to this node.
-      /// It should be called iff the path is empty and before any call to
+      /// It should be called if and only if
+      /// the path is empty and before any call to
       /// \ref pushFront() or \ref pushBack()
       void setStartNode(const GraphNode &) {}