Small text fixes

This commit is contained in:
Efi Fogel 2021-04-21 13:24:05 +03:00
parent 9c7c9830c6
commit ba8aec60f2
5 changed files with 18 additions and 21 deletions

View File

@ -74,7 +74,7 @@ geometric-object types, such as point and curve, and a set of
operations on objects of these types (see Section \ref operations on objects of these types (see Section \ref
aos_sec-geom_traits); the `Dcel` parameter must be substituted with a aos_sec-geom_traits); the `Dcel` parameter must be substituted with a
type that represents a doubly-connected edge list (\dcel) data type that represents a doubly-connected edge list (\dcel) data
structure. It defines types of topological object, such as vertices, structure. It defines types of topological objects, such as vertices,
edges, and faces, and the operations required to maintain the edges, and faces, and the operations required to maintain the
incidence relations among objects of these types (see Section \ref incidence relations among objects of these types (see Section \ref
aos_ssec-basic-dcel). aos_ssec-basic-dcel).
@ -104,7 +104,7 @@ equivalent in both class templates. The names of these member
functions and nested types typically appear in the manual without any functions and nested types typically appear in the manual without any
scope, as each of these class templates can serve as their scope. (As scope, as each of these class templates can serve as their scope. (As
a matter of fact, the package provides additional class templates that a matter of fact, the package provides additional class templates that
represent two-dimensional arrangement, such as the represent two-dimensional arrangements, such as the
`Arrangement_with_history_2` class template, which derives from the `Arrangement_with_history_2` class template, which derives from the
class template `Arrangement_2`; these additional class templates also class template `Arrangement_2`; these additional class templates also
contain inherited definitions of the aforementioned member functions contain inherited definitions of the aforementioned member functions
@ -119,8 +119,8 @@ class also encapsulates the number types used to represent coordinates
of geometric objects and to carry out algebraic operations on them. It of geometric objects and to carry out algebraic operations on them. It
encapsulates the type of coordinate system used (e.g., Cartesian and encapsulates the type of coordinate system used (e.g., Cartesian and
Homogeneous), and the geometric or algebraic computation methods Homogeneous), and the geometric or algebraic computation methods
themselves. The precise minimal sets of requirements, the actual traits themselves. The precise minimal sets of requirements the actual traits
classes must conform to, are organized as a hierarchy of concepts; see classes must conform to are organized as a hierarchy of concepts; see
Section \ref aos_sec-geom_traits. Section \ref aos_sec-geom_traits.
<!-----------------------------------------------------------------------------> <!----------------------------------------------------------------------------->
@ -155,7 +155,7 @@ Remarks
curves. Even though the package allows for self-intersecting curves, curves. Even though the package allows for self-intersecting curves,
for most types each curve can be decomposed into a constant number for most types each curve can be decomposed into a constant number
of well-behaved curves, thus having no effect on the asymptotic of well-behaved curves, thus having no effect on the asymptotic
bounds that we cite. bounds that we state.
</li> </li>
<li> One type of curves that we deal with is special in this sense: <li> One type of curves that we deal with is special in this sense:
@ -167,7 +167,7 @@ Remarks
addition to the number of polylines, for example, the total number addition to the number of polylines, for example, the total number
of segments in all the polylines together. The same holds for the of segments in all the polylines together. The same holds for the
more general type <em>polycurve</em>, which are piecewise curves more general type <em>polycurve</em>, which are piecewise curves
that are not necessarily linear; sse Section \ref that are not necessarily linear; see Section \ref
arr_sssectr_polycurves. </li> arr_sssectr_polycurves. </li>
</ol> </ol>
@ -257,7 +257,7 @@ curve cannot be self-intersecting. Then, we decompose each curve in
\f$\cal C'\f$ into maximal connected subcurves not intersecting any \f$\cal C'\f$ into maximal connected subcurves not intersecting any
other curve (or point) in \f$\cal C'\f$ in its interior. The other curve (or point) in \f$\cal C'\f$ in its interior. The
collection \f$\cal C''\f$ contains isolated points, if the collection collection \f$\cal C''\f$ contains isolated points, if the collection
\f$\cal C'\f$ \f$\cal C\f$ contains such points. The arrangement \f$\cal C'\f$ contains such points. The arrangement
induced by the collection \f$\cal C''\f$ can be conveniently embedded induced by the collection \f$\cal C''\f$ can be conveniently embedded
as a planar graph, the vertices of which are associated with curve as a planar graph, the vertices of which are associated with curve
endpoints or with isolated points, and the edges of which are endpoints or with isolated points, and the edges of which are
@ -274,16 +274,13 @@ family of combinatorial data structures called <em>halfedge data
structures</em> (<span class="textsc">Hds</span>), which are structures</em> (<span class="textsc">Hds</span>), which are
edge-centered data structures capable of maintaining incidence edge-centered data structures capable of maintaining incidence
relations among cells of, for example, planar subdivisions, polyhedra, relations among cells of, for example, planar subdivisions, polyhedra,
or other orientable, two-dimensional surfaces embedded in space of an or other orientable, two-dimensional surfaces embedded in a space of
arbitrary dimension. Geometric interpretation is added by classes arbitrary dimension. Geometric interpretation is added by classes
built on top of the halfedge data structure. In our implementation and built on top of the halfedge data structure.
in the reset of this chapter we use the arrangement \f$\cal A(\cal
C')\f$, which is equal to \f$\cal A(\cal C'')\f$. Note that \f$\cal
A(\cal C) = \cal A(\cal C')\f$ iff \f$\cal C' == \cal C''\f$.
\cgalAdvancedBegin \cgalAdvancedBegin
The \f$x\f$-monotone curves of an arrangement are embedded in an The \f$x\f$-monotone curves of an arrangement are embedded in a
rectangular two-dimensional area called the parameter space. The rectangular two-dimensional area called the parameter space. The
parameter space is defined as \f$ X \times Y\f$, where \f$ X\f$ and parameter space is defined as \f$ X \times Y\f$, where \f$ X\f$ and
\f$ Y\f$ are open, half-open, or closed intervals with endpoints in \f$ Y\f$ are open, half-open, or closed intervals with endpoints in
@ -350,7 +347,7 @@ see \cgalCite{bkos-cgaa-00} Chapter 2.
An arrangement of interior-disjoint line segments with some of the An arrangement of interior-disjoint line segments with some of the
\dcel records that represent it. The unbounded face \f$ f_0\f$ has \dcel records that represent it. The unbounded face \f$ f_0\f$ has
a single connected component that forms a hole inside it, and this a single connected component that forms a hole inside it, and this
hole is comprised of several faces. The halfedge \f$ e\f$ is directed hole comprises of several faces. The halfedge \f$ e\f$ is directed
from its source vertex \f$ v_1\f$ to its target vertex \f$ from its source vertex \f$ v_1\f$ to its target vertex \f$
v_2\f$. This edge, together with its twin \f$ e'\f$, correspond to a v_2\f$. This edge, together with its twin \f$ e'\f$, correspond to a
line segment that connects the points associated with \f$ v_1\f$ and line segment that connects the points associated with \f$ v_1\f$ and
@ -359,8 +356,8 @@ predecessor \f$ e_{\rm prev}\f$ and successor \f$ e_{\rm next}\f$ of
\f$ e\f$ are part of the chain that form the outer boundary of the \f$ e\f$ are part of the chain that form the outer boundary of the
face \f$ f_2\f$. The face \f$ f_1\f$ has a more complicated structure face \f$ f_2\f$. The face \f$ f_1\f$ has a more complicated structure
as it contains two holes in its interior: One hole consists of two as it contains two holes in its interior: One hole consists of two
adjacent faces \f$ f_3\f$ and \f$ f_4\f$, while the other hole is adjacent faces \f$ f_3\f$ and \f$ f_4\f$, while the other hole
comprised of two edges. \f$ f_1\f$ also contains two isolated vertices comprises of two edges. \f$ f_1\f$ also contains two isolated vertices
\f$ u_1\f$ and \f$ u_2\f$ in its interior. \f$ u_1\f$ and \f$ u_2\f$ in its interior.
\cgalFigureEnd \cgalFigureEnd
<!-----------------------------------------------------------------------------> <!----------------------------------------------------------------------------->

View File

@ -355,7 +355,7 @@ namespace CGAL {
/*! \deprecated /*! \deprecated
* Obtain the number of subcurve end-points that comprise the polycurve. * Obtain the number of subcurve end-points that comprise the polycurve.
* Note that for a bounded polycurve, if there are \f$ n\f$ points in the * Note that for a bounded polycurve, if there are \f$ n\f$ points in the
* polycurve, it is comprised of \f$ (n - 1)\f$ subcurves. * polycurve, it comprises \f$ (n - 1)\f$ subcurves.
* Currently, only bounded polycurves are supported. * Currently, only bounded polycurves are supported.
*/ */
unsigned_int points() const; unsigned_int points() const;

View File

@ -34,7 +34,7 @@ int main() {
// Print the arrangement edges along with the list of curves that // Print the arrangement edges along with the list of curves that
// induce each edge. // induce each edge.
std::cout << "The arrangement is comprised of " std::cout << "The arrangement comprises "
<< arr.number_of_edges() << " edges:" << std::endl; << arr.number_of_edges() << " edges:" << std::endl;
for (auto eit = arr.edges_begin(); eit != arr.edges_end(); ++eit) { for (auto eit = arr.edges_begin(); eit != arr.edges_end(); ++eit) {
std::cout << "[" << eit->curve() << "]. Originating curves: "; std::cout << "[" << eit->curve() << "]. Originating curves: ";

View File

@ -636,7 +636,7 @@ public:
bool operator()(const X_monotone_curve_2& cv) const bool operator()(const X_monotone_curve_2& cv) const
{ {
// An x-monotone polycurve can represent a vertical segment only if it // An x-monotone polycurve can represent a vertical segment only if it
// is comprised of vertical segments. If the first subcurve is vertical, // comprises vertical segments. If the first subcurve is vertical,
// all subcurves are vertical in an x-monotone polycurve // all subcurves are vertical in an x-monotone polycurve
return m_poly_traits.subcurve_traits_2()->is_vertical_2_object()(cv[0]); return m_poly_traits.subcurve_traits_2()->is_vertical_2_object()(cv[0]);
} }

View File

@ -618,7 +618,7 @@ protected:
std::allocator_traits<Curves_alloc>::construct(m_curves_alloc, p_cv, cv); std::allocator_traits<Curves_alloc>::construct(m_curves_alloc, p_cv, cv);
m_curves.push_back (*p_cv); m_curves.push_back (*p_cv);
// Create a data-traits Curve_2 object, which is comprised of cv and // Create a data-traits Curve_2 object, which comprises cv and
// a pointer to the extended curve we have just created. // a pointer to the extended curve we have just created.
// Insert this curve into the base arrangement. Note that the attached // Insert this curve into the base arrangement. Note that the attached
// observer will take care of updating the edges' set. // observer will take care of updating the edges' set.
@ -647,7 +647,7 @@ protected:
std::allocator_traits<Curves_alloc>::construct(m_curves_alloc, p_cv, cv); std::allocator_traits<Curves_alloc>::construct(m_curves_alloc, p_cv, cv);
m_curves.push_back (*p_cv); m_curves.push_back (*p_cv);
// Create a data-traits Curve_2 object, which is comprised of cv and // Create a data-traits Curve_2 object, which comprises cv and
// a pointer to the extended curve we have just created. // a pointer to the extended curve we have just created.
// Insert this curve into the base arrangement. Note that the attached // Insert this curve into the base arrangement. Note that the attached
// observer will take care of updating the edges' set. // observer will take care of updating the edges' set.