\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)

CGAL 4.8 - 2D Arrangements

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
CGAL::Arr_algebraic_segment_traits_2< Coefficient >::Construct_point_2 Class Reference

`#include <CGAL/Arr_algebraic_segment_traits_2.h>`

## Object Creation Functors
Point_2 | operator() (Algebraic_real_1 x, Curve_2 cv, int arcno)
| Returns a `Point_2` object that represents the `arcno`-th point in the fiber of `cv` at \( x\)-coordinate `x`, counted from the bottom, starting with zero. More...
Point_2 | operator() (Algebraic_real_1 x, X_monotone_curve_2 xcv)
| Returns a `Point_2` object that represents the point on `xcv` at \( x\)-coordinate `x` More...
Point_2 | operator() (Algebraic_real_1 x, Algebraic_real_1 y)
| Returns a `Point_2` object that represents (x,y)
Point_2 | operator() (Coefficient x, Coefficient y)
| Returns a `Point_2` object that represents (x,y)
Point_2 | operator() (Bound x, Bound y)
| Returns a `Point_2` object that represents (x,y)
Point_2 | operator() (int x, int y)
| Returns a `Point_2` object that represents (x,y)

## Member Function Documentation

template<typename Coefficient >

Point_2 CGAL::Arr_algebraic_segment_traits_2< Coefficient >::Construct_point_2::operator() | ( | Algebraic_real_1 | x,
|  | Curve_2 | cv,
|  | int | arcno
| ) |  |

Returns a `Point_2` object that represents the `arcno`-th point in the fiber of `cv` at \( x\)-coordinate `x`, counted from the bottom, starting with zero.

Precondition
  (`cv` must not have a vertical line at `x`, and \( 0\leq arcno < c\), where \( c\) is the number of points in the fiber of `cv` at `x`.)

template<typename Coefficient >

Point_2 CGAL::Arr_algebraic_segment_traits_2< Coefficient >::Construct_point_2::operator() | ( | Algebraic_real_1 | x,
|  | X_monotone_curve_2 | xcv
| ) |  |

Returns a `Point_2` object that represents the point on `xcv` at \( x\)-coordinate `x`

Precondition
  (`x` is in the \( x\)-range of `xcv`.)