#include <CGAL/Circular_arc_3.h>

Is Model for the Concepts



Circular_arc_3<SphericalKernel> ca ( Circle_3<SphericalKernel> c);
Constructs an arc from a full circle.

Circular_arc_3<SphericalKernel> ca ( Circle_3<SphericalKernel> c,
Circular_arc_point_3<SphericalKernel> p,
Circular_arc_point_3<SphericalKernel> q);
Constructs the circular arc supported by c, whose source and target are respectively p and q.
Precondition: p and q lie on 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 p1 and the target p2, when traversing the circle counterclockwise seen from the side of the plane of the circle pointed by its positive normal vectors.

In this definition, we say that a normal vector (a,b,c) is positive if (a,b,c)>(0,0,0) (i.e. (a>0) || (a==0) && (b>0) || (a==0)&&(b==0)&&(c>0)).

Circular_arc_3<SphericalKernel> ca ( Point_3<SphericalKernel> p, Point_3<SphericalKernel> q, Point_3<SphericalKernel> r);
Constructs an arc that is supported by the circle of type Circle_3<SphericalKernel> passing through the points p, q and r. The source and target are respectively p and r, when traversing the supporting circle in the counterclockwise direction seen from the side of the plane containing the circle pointed by its positive normal vectors. Note that, depending on the orientation of the point triple (p,q,r), q may not lie on the arc.
Precondition: p, q, and r are not collinear.

Access Functions

Circle_3<SphericalKernel> ca.supporting_circle ()

Point_3<SphericalKernel> () returns the center of the supporting circle.
SphericalKernel::FT ca.squared_radius () returns the squared radius of the supporting circle.

Plane_3<SphericalKernel> ca.supporting_plane ()
Sphere_3<SphericalKernel> ca.diametral_sphere ()

ca.source ()
Circular_arc_point_3<SphericalKernel> ()

When the methods source and target return the same point, then the arc is in fact a full circle.

When the arc was constructed from its (full) underlying circle, then 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.


bool a1 == a2 Test for equality. Two arcs are equal, iff their non-oriented supporting planes are equal, if the centers and squared radii of their respective supporting circles are equal, and if their sources and targets are equal.

bool a1 != a2 Test for nonequality.


istream& std::istream& is >> Circular_arc_3 & ca
ostream& std::ostream& os << Circular_arc_3 ca

The format for input/output is, for each circular arc: a Circle_3 (the supporting circle) and two Circular_arc_point_3 (the source and the target), under the condition that the endpoints are actually lying on the circle.

See Also