From 57b0329dac4ad2c53fca7675a663a59eb6e6f7f2 Mon Sep 17 00:00:00 2001
From: Monique Teillaud <Monique.Teillaud@sophia.inria.fr>
Date: Tue, 16 Sep 2008 11:27:56 +0000
Subject: [PATCH] added missing operator ==

---
 .../Circular_kernel_3_ref/Circular_arc_3.tex  | 21 ++++++++++++++-----
 .../Circular_kernel_3_ref/Line_arc_3.tex      | 15 ++++++++++++-
 2 files changed, 30 insertions(+), 6 deletions(-)

diff --git a/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Circular_arc_3.tex b/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Circular_arc_3.tex
index afcc51677bc..6de070e7af8 100644
--- a/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Circular_arc_3.tex
+++ b/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Circular_arc_3.tex
@@ -16,12 +16,11 @@
 {Constructs an arc from a full circle.}
 
 \ccConstructor{Circular_arc_3(const Circle_3<SphericalKernel> &c,
-		const Circular_arc_point_3<SphericalKernel> &p1,
-		const Circular_arc_point_3<SphericalKernel> &p2)}
+		const Circular_arc_point_3<SphericalKernel> &p,
+		const Circular_arc_point_3<SphericalKernel> &q)}
 {Constructs the circular arc supported by \ccc{c}, whose source and target 
-are respectively \ccc{p1} and \ccc{p2}.
-\ccPrecond{\ccc{p1} and \ccc{p2} lie on \ccc{c}. \ccc{p1} and \ccc{p2} 
-are different.}}
+are respectively \ccc{p} and \ccc{q}.
+\ccPrecond{\ccc{p} and \ccc{q} lie on \ccc{c} and are different.}}
 
 The circular arc constructed from a circle, a source, and a target, is
 defined as the set of points of the circle that lie between the source
@@ -66,6 +65,18 @@ source and target both return the smallest $x$-extremal point of the
 circle if the circle is not contained in a plane $x=A$, and the smallest
 $y$-extremal point otherwise.
 
+\ccOperations
+
+\ccFunction{bool operator==(const Circular_arc_3<SphericalKernel> &a1,
+			const Circular_arc_3<SphericalKernel> &a2);}
+{Test for equality. Two arcs are equal, iff the centers and squared
+  radii of their respective supporting circles are equal, and if their
+  source and target are equal.} 
+
+\ccFunction{bool operator!=(const Circular_arc_3<SphericalKernel> &a1,
+			const Circular_arc_3<SphericalKernel> &a2);}
+{Test for nonequality.} 
+
 \ccHeading{I/O}
 
 \ccFunction{istream& operator>> (std::istream& is, Circular_arc_3 & ca);}{}
diff --git a/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Line_arc_3.tex b/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Line_arc_3.tex
index bedb62252f9..5e7080030f2 100644
--- a/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Line_arc_3.tex
+++ b/Circular_kernel_3/doc_tex/Circular_kernel_3_ref/Line_arc_3.tex
@@ -48,7 +48,20 @@ of coordinates.}
 
 \ccQueryFunctions
 
-\ccMethod{bool is_vertical();}{Returns true \ccc{iff} the segment is vertical.}
+\ccMethod{bool is_vertical();}{Returns true \ccc{iff} the segment is
+  vertical.}
+
+\ccOperations
+
+\ccFunction{bool operator==(const Line_arc_3<SphericalKernel> &s1,
+			const Line_arc_3<SphericalKernel> &s2);}
+{Test for equality. Two segments are equal, iff their non-oriented
+  supporting lines are equal (i.e. they define the same set of
+  points), and if their endpoints are the same.}
+
+\ccFunction{bool operator!=(const Line_arc_3<SphericalKernel> &s1,
+			const Line_arc_3<SphericalKernel> &s2);}
+{Test for nonequality.} 
 
 \ccHeading{I/O}