CGAL 5.5.1 - 2D Arrangements
CGAL::Arr_Bezier_curve_traits_2< RatKernel, AlgKernel, NtTraits >::Point_2 Class Reference

#include <CGAL/Arr_Bezier_curve_traits_2.h>

Definition

The Point_2 class nested within the Bézier traits class is used to represent: (i) an endpoint of a Bézier curve, (ii) a vertical tangency point of a curve, used to subdivide it into \( x\)-monotone subcurve, and (iii) an intersection point between two curves.

While, points of type (i) have rational coordinates and are given as part of the input, points of the two latter types have algebraic coordinates. However, to speed up the arrangement construction, such point are not computed in an exact manner, and instead are given in an approximate representation. Note that the exact coordinates of a point may only be accessed if it is exactly computed.

In addition to the methods listed below, the copy constructor and assignment operator for Point_2 objects are also supported.

Creation

 Point_2 ()
 default constructor.
 
 Point_2 (const Curve_2 &B, const Algebraic &t_0)
 constructs the point \( B(t_0)\) on the given curve. More...
 
 Point_2 (const Curve_2 &B, const Rational &t_0)
 constructs the point \( B(t_0)\) on the given curve. More...
 

Access Functions

std::pair< double, double > approximate () const
 returns the approximated coordinates of p.
 
bool is_exact () const
 returns whether the coordinates of p are computed in an exact manner.
 
Algebraic x () const
 returns the \( x\)-coordinate of p. More...
 
Algebraic y () const
 returns the \( y\)-coordinate of p. More...
 
bool is_rational () const
 returns whether the coordinates of p are rational numbers.
 
 operator typename RatKernel::Point_2 () const
 casts p to a point with rational coordinates. More...
 

Constructor & Destructor Documentation

◆ Point_2() [1/2]

template<typename RatKernel , typename AlgKernel , typename NtTraits >
CGAL::Arr_Bezier_curve_traits_2< RatKernel, AlgKernel, NtTraits >::Point_2::Point_2 ( const Curve_2 B,
const Algebraic t_0 
)

constructs the point \( B(t_0)\) on the given curve.

As \( t_0\) is an algebraic number, the point has algebraic coordinates.

◆ Point_2() [2/2]

template<typename RatKernel , typename AlgKernel , typename NtTraits >
CGAL::Arr_Bezier_curve_traits_2< RatKernel, AlgKernel, NtTraits >::Point_2::Point_2 ( const Curve_2 B,
const Rational t_0 
)

constructs the point \( B(t_0)\) on the given curve.

As \( t_0\) is a rational number, the point has rational coordinates.

Member Function Documentation

◆ operator typename RatKernel::Point_2()

template<typename RatKernel , typename AlgKernel , typename NtTraits >
CGAL::Arr_Bezier_curve_traits_2< RatKernel, AlgKernel, NtTraits >::Point_2::operator typename RatKernel::Point_2 ( ) const

casts p to a point with rational coordinates.

Precondition
p has rational coordinates.

◆ x()

template<typename RatKernel , typename AlgKernel , typename NtTraits >
Algebraic CGAL::Arr_Bezier_curve_traits_2< RatKernel, AlgKernel, NtTraits >::Point_2::x ( ) const

returns the \( x\)-coordinate of p.

Precondition
p is exactly computed.

◆ y()

template<typename RatKernel , typename AlgKernel , typename NtTraits >
Algebraic CGAL::Arr_Bezier_curve_traits_2< RatKernel, AlgKernel, NtTraits >::Point_2::y ( ) const

returns the \( y\)-coordinate of p.

Precondition
p is exactly computed.