Documented which functors are model for AdaptableFunctor.

This commit is contained in:
Michael Hoffmann 2001-07-12 12:04:21 +00:00
parent 85878a554c
commit f09e6851a7
114 changed files with 237 additions and 16 deletions

View File

@ -10,4 +10,6 @@ A model for this must provide:
on the angle formed by the three points $p$, $q$, $r$ ($q$ being the vertex of on the angle formed by the three points $p$, $q$, $r$ ($q$ being the vertex of
the angle).} the angle).}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,7 @@ A model for this must provide:
\ccStyle{q} lies between \ccStyle{p} and \ccStyle{r}. \ccStyle{q} lies between \ccStyle{p} and \ccStyle{r}.
Note that \ccStyle{true} is returned, if \ccStyle{q==p} or Note that \ccStyle{true} is returned, if \ccStyle{q==p} or
\ccStyle{q==r}.} \ccStyle{q==r}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -11,4 +11,6 @@ A model for this must provide:
Note that \ccStyle{true} is returned, if \ccStyle{q==p} or Note that \ccStyle{true} is returned, if \ccStyle{q==p} or
\ccStyle{q==r}.} \ccStyle{q==r}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,5 +10,8 @@ A model for this must provide:
\ccStyle{q} lies strictly between \ccStyle{p} and \ccStyle{r}. \ccStyle{q} lies strictly between \ccStyle{p} and \ccStyle{r}.
Note that \ccStyle{false} is returned, if \ccStyle{q==p} or Note that \ccStyle{false} is returned, if \ccStyle{q==p} or
\ccStyle{q==r}.} \ccStyle{q==r}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,5 +10,8 @@ A model for this must provide:
\ccStyle{q} lies strictly between \ccStyle{p} and \ccStyle{r}. \ccStyle{q} lies strictly between \ccStyle{p} and \ccStyle{r}.
Note that \ccStyle{false} is returned, if \ccStyle{q==p} or Note that \ccStyle{false} is returned, if \ccStyle{q==p} or
\ccStyle{q==r}.} \ccStyle{q==r}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,6 +10,8 @@ bool operator()(T& t, const Kernel::Object_2&o);}
was constructed from an object of type \ccStyle{T}. was constructed from an object of type \ccStyle{T}.
Returns \ccc{true}, if the assignment was possible.} Returns \ccc{true}, if the assignment was possible.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\ccSeeAlso \ccSeeAlso
\ccc{Kernel::Object_2} \ccc{Kernel::Object_2}

View File

@ -10,6 +10,8 @@ bool operator()(T& t, const Kernel::Object_3&o);}
was constructed from an object of type \ccStyle{T}. was constructed from an object of type \ccStyle{T}.
Returns \ccc{true}, if the assignment was possible.} Returns \ccc{true}, if the assignment was possible.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\ccSeeAlso \ccSeeAlso
\ccc{Kernel::Object_3} \ccc{Kernel::Object_3}

View File

@ -24,4 +24,6 @@ triangle \ccc{t}.}
\ccc{ON_BOUNDARY}, depending on where point \ccc{p} is relative to \ccc{ON_BOUNDARY}, depending on where point \ccc{p} is relative to
rectangle \ccc{r}.} rectangle \ccc{r}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -24,4 +24,6 @@ respect to tetrahedron \ccc{t}. }
\ccc{ON_BOUNDARY}, depending on where point \ccc{p} is with \ccc{ON_BOUNDARY}, depending on where point \ccc{p} is with
respect to iso-cuboid \ccc{c}. } respect to iso-cuboid \ccc{c}. }
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
const Kernel::Point_2&r);} const Kernel::Point_2&r);}
{returns \ccStyle{true}, if $p$, $q$, and $r$ are collinear.} {returns \ccStyle{true}, if $p$, $q$, and $r$ are collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
const Kernel::Point_3&r);} const Kernel::Point_3&r);}
{returns \ccStyle{true}, if $p$, $q$, and $r$ are collinear.} {returns \ccStyle{true}, if $p$, $q$, and $r$ are collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,6 @@ A model for this must provide:
and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and \ccStyle{r} are and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and \ccStyle{r} are
collinear.} collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,6 @@ A model for this must provide:
and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and \ccStyle{r} are and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and \ccStyle{r} are
collinear.} collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,6 @@ A model for this must provide:
\ccStyle{p} and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and \ccStyle{p} and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and
\ccStyle{r} are collinear.} \ccStyle{r} are collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,6 @@ A model for this must provide:
\ccStyle{p} and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and \ccStyle{p} and \ccStyle{r}. \ccPrecond \ccStyle{p, q} and
\ccStyle{r} are collinear.} \ccStyle{r} are collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -13,4 +13,6 @@ A model for this must provide:
{checks if point $p$ is on $s$. {checks if point $p$ is on $s$.
\ccPrecond{$p$ is on the supporting line of $s$.}} \ccPrecond{$p$ is on the supporting line of $s$.}}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
the angles between the positive $x$-axis and the directions in the angles between the positive $x$-axis and the directions in
counterclockwise order.} counterclockwise order.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -11,4 +11,6 @@ A model for this must provide:
const Kernel::Point_2&r);} const Kernel::Point_2&r);}
{compares the distances of points \ccc{q} and \ccc{r} to point \ccc{p}} {compares the distances of points \ccc{q} and \ccc{r} to point \ccc{p}}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::FT operator()(const Kernel::Triangle_2& t);} \ccMemberFunction{Kernel::FT operator()(const Kernel::Triangle_2& t);}
{returns the signed area of $t$. } {returns the signed area of $t$. }
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::FT operator()(const Kernel::Triangle_3& t);} \ccMemberFunction{Kernel::FT operator()(const Kernel::Triangle_3& t);}
{returns the square of the area of $t$. } {returns the square of the area of $t$. }
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -18,4 +18,6 @@ following:
\item \ccStyle{Kernel::Triangle_2} \item \ccStyle{Kernel::Triangle_2}
\end{itemize} \end{itemize}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -18,4 +18,6 @@ following:
\item \ccStyle{Kernel::Plane_3} \item \ccStyle{Kernel::Plane_3}
\end{itemize} \end{itemize}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::FT operator()(const Kernel::Segment_2& s);} \ccMemberFunction{Kernel::FT operator()(const Kernel::Segment_2& s);}
{returns the squared length of $s$. } {returns the squared length of $s$. }
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::FT operator()(const Kernel::Tetrahedron_3& t);} \ccMemberFunction{Kernel::FT operator()(const Kernel::Tetrahedron_3& t);}
{returns the signed volume of $t$. } {returns the signed volume of $t$. }
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
given $x$-coordinate. given $x$-coordinate.
\ccPrecond $l$ is not vertical.} \ccPrecond $l$ is not vertical.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -1,4 +1,4 @@
\begin{ccRefFunctionObjectConcept}{Kernel::Construct_orthogonal_vector_3} \begin{ccRefFunctionObjectConcept}{Kernel::Construct_base_vector_3}
A model for this must provide: A model for this must provide:
\ccCreationVariable{fo} \ccCreationVariable{fo}
@ -11,4 +11,6 @@ A model for this must provide:
for an arbitrary point \ccc{p} on the plane \ccc{h}, the orientation of for an arbitrary point \ccc{p} on the plane \ccc{h}, the orientation of
\ccc{p}, \ccc{p + b1}, \ccc{p + b2}, and \ccc{p + n} is positive.} \ccc{p}, \ccc{p + b1}, \ccc{p + b2}, and \ccc{p + n} is positive.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
const Kernel::Point_2&q );} const Kernel::Point_2&q );}
{constructs the bisector of $p$ and $q$.} {constructs the bisector of $p$ and $q$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Point_2 operator()(const Kernel::Circle_2 & c);} \ccMemberFunction{Kernel::Point_2 operator()(const Kernel::Circle_2 & c);}
{compute the center of the circle $c$.} {compute the center of the circle $c$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Point_3 operator()(const Kernel::Sphere_3 & s);} \ccMemberFunction{Kernel::Point_3 operator()(const Kernel::Sphere_3 & s);}
{compute the center of the sphere $s$.} {compute the center of the sphere $s$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,6 +6,8 @@ A model for this must provide:
\ccMemberFunction{Kernel::Vector_3 operator()(const Kernel::Vector_3 &v, \ccMemberFunction{Kernel::Vector_3 operator()(const Kernel::Vector_3 &v,
const Kernel::Vector_3 &w);} const Kernel::Vector_3 &w);}
{computes the cross product of $v$ and $w$.} {computes the cross product of $v$ and $w$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,11 +7,11 @@ A model for this must provide:
\ccHidden \ccMemberFunction{Kernel::Iso_cuboid_3 operator()();} \ccHidden \ccMemberFunction{Kernel::Iso_cuboid_3 operator()();}
{introduces an uninitialized variable .} {introduces an uninitialized variable .}
\ccHidden \ccMemberFunction{Kernel::Iso_cuboid_3 operator()(const Iso_cuboid_3<R> &u);} \ccHidden \ccMemberFunction{Kernel::Iso_cuboid_3 operator()(const Kernel::Iso_cuboid_3 &u);}
{copy constructor.} {copy constructor.}
\ccMemberFunction{Kernel::Iso_cuboid_3 operator()(const Point_3<R> &p, \ccMemberFunction{Kernel::Iso_cuboid_3 operator()(const Kernel::Point_3 &p,
const Point_3<R> &q);} const Kernel::Point_3 &q);}
{introduces an iso-oriented cuboid with diagonal {introduces an iso-oriented cuboid with diagonal
opposite vertices $p$ and $q$ such that $p$ is the opposite vertices $p$ and $q$ such that $p$ is the
lexicographically smallest point in the cuboid.} lexicographically smallest point in the cuboid.}

View File

@ -7,11 +7,11 @@ A model for this must provide:
\ccHidden \ccMemberFunction{Kernel::Iso_rectangle_2 operator()();} \ccHidden \ccMemberFunction{Kernel::Iso_rectangle_2 operator()();}
{introduces an uninitialized variable .} {introduces an uninitialized variable .}
\ccHidden \ccMemberFunction{Kernel::Iso_rectangle_2 operator()(const Iso_rectangle_2<R> &u);} \ccHidden \ccMemberFunction{Kernel::Iso_rectangle_2 operator()(const Kernel::Iso_rectangle_2 &u);}
{copy constructor.} {copy constructor.}
\ccMemberFunction{Kernel::Iso_rectangle_2 operator()(const Point_2<R> &p, \ccMemberFunction{Kernel::Iso_rectangle_2 operator()(const Kernel::Point_2 &p,
const Point_2<R> &q);} const Kernel::Point_2 &q);}
{introduces an iso-oriented rectangle with diagonal {introduces an iso-oriented rectangle with diagonal
opposite vertices $p$ and $q$ such that $p$ is the opposite vertices $p$ and $q$ such that $p$ is the
lexicographically smallest point in the rectangle.} lexicographically smallest point in the rectangle.}

View File

@ -8,4 +8,6 @@ A model for this must provide:
{returns a point \ccc{q} on plane \ccc{h}, such that the projection of {returns a point \ccc{q} on plane \ccc{h}, such that the projection of
this point onto the $xy$-plane is \ccc{p}.} this point onto the $xy$-plane is \ccc{p}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
const Kernel::Point_2& q );} const Kernel::Point_2& q );}
{computes the midpoint of the segment $pq$.} {computes the midpoint of the segment $pq$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
const Kernel::Point_3& q );} const Kernel::Point_3& q );}
{computes the midpoint of the segment $pq$.} {computes the midpoint of the segment $pq$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -16,4 +16,6 @@ Object_2 operator()(const T& t);}
\ccc{make_object}, \ccc{make_object},
\ccc{Object}. \ccc{Object}.
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -16,4 +16,6 @@ Object_3 operator()(const T& t);}
\ccc{make_object}, \ccc{make_object},
\ccc{Object}. \ccc{Object}.
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{ returns the circle with the same center and squared radius as { returns the circle with the same center and squared radius as
$c$, but with opposite orientation.} $c$, but with opposite orientation.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Direction_2 operator()(const \ccMemberFunction{Kernel::Direction_2 operator()(const
Kernel::Direction_2& d);} {returns the direction opposite to $d$.} Kernel::Direction_2& d);} {returns the direction opposite to $d$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Direction_3 operator()(const \ccMemberFunction{Kernel::Direction_3 operator()(const
Kernel::Direction_3& d);} {returns the direction opposite to $d$.} Kernel::Direction_3& d);} {returns the direction opposite to $d$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{returns the line representing the same set of points as $l$, {returns the line representing the same set of points as $l$,
but with opposite direction.} but with opposite direction.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{returns the line representing the same set of points as $l$, {returns the line representing the same set of points as $l$,
but with opposite direction.} but with opposite direction.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{returns the plane representing the same set of points as $p$, {returns the plane representing the same set of points as $p$,
but with opposite orientation.} but with opposite orientation.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Ray_2 operator()(const Kernel::Ray_2& r);} \ccMemberFunction{Kernel::Ray_2 operator()(const Kernel::Ray_2& r);}
{returns the ray with the same source as $r$, but in opposite direction.} {returns the ray with the same source as $r$, but in opposite direction.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Ray_3 operator()(const Kernel::Ray_3& r);} \ccMemberFunction{Kernel::Ray_3 operator()(const Kernel::Ray_3& r);}
{returns the ray with the same source as $r$, but in opposite direction.} {returns the ray with the same source as $r$, but in opposite direction.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{returns the segment representing the same set of points as $s$, {returns the segment representing the same set of points as $s$,
but with opposite orientation.} but with opposite orientation.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{returns the segment representing the same set of points as $s$, {returns the segment representing the same set of points as $s$,
but with opposite orientation.} but with opposite orientation.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{ returns the sphere with the same center and squared radius as { returns the sphere with the same center and squared radius as
$s$, but with opposite orientation.} $s$, but with opposite orientation.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
(this flips the positive and the negative side, but (this flips the positive and the negative side, but
not bounded and unbounded side).} not bounded and unbounded side).}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Vector_2 operator()(const Kernel::Vector_2& v);} \ccMemberFunction{Kernel::Vector_2 operator()(const Kernel::Vector_2& v);}
{returns the vector \ccc{-v}.} {returns the vector \ccc{-v}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Vector_3 operator()(const Kernel::Vector32& v);} \ccMemberFunction{Kernel::Vector_3 operator()(const Kernel::Vector32& v);}
{returns the vector \ccc{-v}.} {returns the vector \ccc{-v}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
{returns a vector that is orthogonal to the plane \ccc{p} and directed {returns a vector that is orthogonal to the plane \ccc{p} and directed
to the positive side of \ccc{p}.} to the positive side of \ccc{p}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -4,10 +4,12 @@ A model for this must provide:
\ccCreationVariable{fo} \ccCreationVariable{fo}
\ccMemberFunction{Kernel::Direction_3 operator()(const Kernel::Direction_2& d, \ccMemberFunction{Kernel::Direction_3 operator()(const Kernel::Direction_2& d,
cpnst Orientation& o);} Orientation o);}
{introduces a direction orthogonal to \ccc{d}. If \ccc{o} is {introduces a direction orthogonal to \ccc{d}. If \ccc{o} is
\ccc{CLOCKWISE}, \ccc{d} is rotated clockwise; if \ccc{o} is \ccc{CLOCKWISE}, \ccc{d} is rotated clockwise; if \ccc{o} is
\ccc{COUNTERCLOCKWISE}, \ccc{d} is rotated counterclockwise. \ccc{COUNTERCLOCKWISE}, \ccc{d} is rotated counterclockwise.
\ccPrecond \ccc{o} is not \ccc{COLLINEAR}.} \ccPrecond \ccc{o} is not \ccc{COLLINEAR}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
where the direction is the direction of $l$ rotated where the direction is the direction of $l$ rotated
counterclockwise by 90 degrees.} counterclockwise by 90 degrees.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
passes through point \ccStyle{p}. The line is oriented from passes through point \ccStyle{p}. The line is oriented from
the negative to the positive side of \ccc{pl}} the negative to the positive side of \ccc{pl}}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
such that the normal direction of the plane coincides with the direction of such that the normal direction of the plane coincides with the direction of
the line.} the line.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,6 @@ A model for this must provide:
\ccPrecond $o$ is not \ccc{COLLINEAR}. \ccPrecond $o$ is not \ccc{COLLINEAR}.
} }
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
const Kernel::Point_2& p);} const Kernel::Point_2& p);}
{returns the orthogonal projection of \ccc{p} onto \ccc{l}.} {returns the orthogonal projection of \ccc{p} onto \ccc{l}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -11,4 +11,6 @@ A model for this must provide:
const Kernel::Point_3& p);} const Kernel::Point_3& p);}
{returns the orthogonal projection of \ccc{p} onto \ccc{h}.} {returns the orthogonal projection of \ccc{p} onto \ccc{h}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
transformation, which maps \ccc{h} onto the $xy$-plane, with the transformation, which maps \ccc{h} onto the $xy$-plane, with the
$z$-coordinate removed.} $z$-coordinate removed.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,7 +8,7 @@ A model for this must provide:
{introduces an uninitialized variable .} {introduces an uninitialized variable .}
\ccHidden \ccMemberFunction{Kernel::Ray_2 operator()(const Kernel::Ray_2 &s);} \ccHidden \ccMemberFunction{Kernel::Ray_2 operator()(const Kernel::Ray_2 &s);}
{copy constructor.} {copy constructor.}
\ccMemberFunction{Kernel::Ray_2 operator()(const Kernel::Point_2 &p, const Kernel::Point_2&q);} \ccMemberFunction{Kernel::Ray_2 operator()(const Kernel::Point_2 &p, const Kernel::Point_2&q);}
{introduces a ray {introduces a ray

View File

@ -17,4 +17,6 @@ Kernel::Vector_2 operator()(const Kernel::Vector_2 &v,
{produces the vector \ccc{v} scaled by a factor \ccc{scale}.} {produces the vector \ccc{v} scaled by a factor \ccc{scale}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -17,4 +17,6 @@ Kernel::Vector_3 operator()(const Kernel::Vector_3 &v,
{produces the vector \ccc{v} scaled by a factor \ccc{scale}.} {produces the vector \ccc{v} scaled by a factor \ccc{scale}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,7 +9,7 @@ A model for this must provide:
{introduces an uninitialized variable .} {introduces an uninitialized variable .}
\ccHidden \ccMemberFunction{Kernel::Segment_2 operator()(const Kernel::Segment_2 &q);} \ccHidden \ccMemberFunction{Kernel::Segment_2 operator()(const Kernel::Segment_2 &q);}
{copy constructor.} {copy constructor.}
\ccMemberFunction{Kernel::Segment_2 operator()(const Kernel::Point_2 &p, const Kernel::Point_2 &q);} \ccMemberFunction{Kernel::Segment_2 operator()(const Kernel::Point_2 &p, const Kernel::Point_2 &q);}
{introduces a segment with source $p$ {introduces a segment with source $p$

View File

@ -10,4 +10,6 @@ A model for this must provide:
{returns the line $l$ passing through $s$. Line $l$ has the {returns the line $l$ passing through $s$. Line $l$ has the
same orientation as segment $s$.} same orientation as segment $s$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -10,4 +10,6 @@ A model for this must provide:
{returns the line $l$ passing through $s$. Line $l$ has the {returns the line $l$ passing through $s$. Line $l$ has the
same orientation as segment $s$.} same orientation as segment $s$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -6,4 +6,6 @@ A model for this must provide:
\ccMemberFunction{Kernel::Plane_3 operator()(const Kernel::Triangle_3& t);} \ccMemberFunction{Kernel::Plane_3 operator()(const Kernel::Triangle_3& t);}
{returns the supporting plane of $t$, with same orientation.} {returns the supporting plane of $t$, with same orientation.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
{returns the point obtained by translating \ccc{p} by the vector {returns the point obtained by translating \ccc{p} by the vector
\ccc{v}.} \ccc{v}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
{returns the point obtained by translating \ccc{p} by the vector {returns the point obtained by translating \ccc{p} by the vector
\ccc{v}.} \ccc{v}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,12 +7,12 @@ A model for this must provide:
{introduces an uninitialized variable .} {introduces an uninitialized variable .}
\ccHidden \ccMemberFunction{Kernel::Triangle_2 operator()(const Kernel::Triangle_2 &u);} \ccHidden \ccMemberFunction{Kernel::Triangle_2 operator()(const Kernel::Triangle_2 &u);}
{copy constructor.} {copy constructor.}
\ccMemberFunction{Kernel::Triangle_2 operator()(const Kernel::Point_2 &p, \ccMemberFunction{Kernel::Triangle_2 operator()(const Kernel::Point_2 &p,
const Kernel::Point_2 &q, const Kernel::Point_2 &q,
const Kernel::Point_2 &r);} const Kernel::Point_2 &r);}
{introduces a triangle with vertices $p$, $q$ and $r$.} {introduces a triangle with vertices $p$, $q$ and $r$.}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -19,4 +19,6 @@ A model for this must provide:
\ccc{i} is taken modulo 3.} \ccc{i} is taken modulo 3.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -27,4 +27,6 @@ A model for this must provide:
Kernel::Tetrahedron_3 &t, int i);} {returns the i'th vertex of Kernel::Tetrahedron_3 &t, int i);} {returns the i'th vertex of
\ccc{t}. The parameter \ccc{i} is taken modulo 4.} \ccc{t}. The parameter \ccc{i} is taken modulo 4.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
const Kernel::Point_2&s);} const Kernel::Point_2&s);}
{returns \ccStyle{true}, if $p$, $q$, $r$, and $s$ are coplanar.} {returns \ccStyle{true}, if $p$, $q$, $r$, and $s$ are coplanar.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -12,5 +12,7 @@ A model for this must provide:
\ccPrecond \ccc{p}, \ccc{q}, \ccc{r}, and \ccc{s} are coplanar and \ccPrecond \ccc{p}, \ccc{q}, \ccc{r}, and \ccc{s} are coplanar and
\ccc{p}, \ccc{q}, and \ccc{r} are not collinear.} \ccc{p}, \ccc{q}, and \ccc{r} are not collinear.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -13,4 +13,6 @@ A model for this must provide:
Note that true is returned if \ccc{d1} == \ccc{d2}, unless Note that true is returned if \ccc{d1} == \ccc{d2}, unless
also \ccc{d} == \ccc{d1}.} also \ccc{d} == \ccc{d1}.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -19,4 +19,6 @@ following:
\item \ccStyle{Kernel::Iso_rectangle_2} \item \ccStyle{Kernel::Iso_rectangle_2}
\end{itemize} \end{itemize}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -17,4 +17,6 @@ the type \ccStyle{Type1} is \ccStyle{Kernel::Plane_3} and
\item \ccStyle{Kernel::Segment_3} \item \ccStyle{Kernel::Segment_3}
\end{itemize} \end{itemize}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -40,4 +40,6 @@ them \ccVar\ccc{(x,y)} returns true iff $x$ and $y$ are equal.
const Kernel::Iso_rectangle_2& y);} const Kernel::Iso_rectangle_2& y);}
{} {}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
const Kernel::Point_2&q);} const Kernel::Point_2&q);}
{returns true iff $p$ and $q$ have the same Cartesian $x$-coordinate.} {returns true iff $p$ and $q$ have the same Cartesian $x$-coordinate.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -7,4 +7,6 @@ A model for this must provide:
const Kernel::Point_2&q);} const Kernel::Point_2&q);}
{returns true iff $p$ and $q$ have the same Cartesian $y$-coordinate.} {returns true iff $p$ and $q$ have the same Cartesian $y$-coordinate.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_2&p);} const Kernel::Point_2&p);}
{returns true iff $p$ lies on $s$.} {returns true iff $p$ lies on $s$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -23,4 +23,6 @@ A model for this must provide:
const Kernel::Point_3&p);} const Kernel::Point_3&p);}
{returns true iff $p$ lies on $t$.} {returns true iff $p$ lies on $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_2&p);} const Kernel::Point_2&p);}
{returns true iff $p$ lies on the boundary of $t$.} {returns true iff $p$ lies on the boundary of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_3&p);} const Kernel::Point_3&p);}
{returns true iff $p$ lies on the boundary of $c$.} {returns true iff $p$ lies on the boundary of $c$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_2&p);} const Kernel::Point_2&p);}
{returns true iff $p$ lies on the bounded side of $t$.} {returns true iff $p$ lies on the bounded side of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_3&p);} const Kernel::Point_3&p);}
{returns true iff $p$ lies on the bounded side of $c$.} {returns true iff $p$ lies on the bounded side of $c$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -16,4 +16,6 @@ A model for this must provide:
const Kernel::Point_2&p);} const Kernel::Point_2&p);}
{returns true iff $p$ lies on the negative side of $t$.} {returns true iff $p$ lies on the negative side of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -16,4 +16,6 @@ A model for this must provide:
const Kernel::Point_3&p);} const Kernel::Point_3&p);}
{returns true iff $p$ lies on the negative side of $t$.} {returns true iff $p$ lies on the negative side of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -16,4 +16,6 @@ A model for this must provide:
const Kernel::Point_2&p);} const Kernel::Point_2&p);}
{returns true iff $p$ lies on the positive side of $t$.} {returns true iff $p$ lies on the positive side of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -16,4 +16,6 @@ A model for this must provide:
const Kernel::Point_3&p);} const Kernel::Point_3&p);}
{returns true iff $p$ lies on the positive side of $t$.} {returns true iff $p$ lies on the positive side of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_2&p);} const Kernel::Point_2&p);}
{returns true iff $p$ lies on the unbounded side of $t$.} {returns true iff $p$ lies on the unbounded side of $t$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -15,4 +15,6 @@ A model for this must provide:
const Kernel::Point_3&p);} const Kernel::Point_3&p);}
{returns true iff $p$ lies on the unbounded side of $c$.} {returns true iff $p$ lies on the unbounded side of $c$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -18,4 +18,6 @@ following:
\item \ccStyle{Kernel::Iso_rectangle_2} \item \ccStyle{Kernel::Iso_rectangle_2}
\end{itemize} \end{itemize}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -17,4 +17,6 @@ the type \ccStyle{Type1} is \ccStyle{Kernel::Plane_3} and
\item \ccStyle{Kernel::Segment_3} \item \ccStyle{Kernel::Segment_3}
\end{itemize} \end{itemize}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -21,4 +21,6 @@ A model for this must provide:
\ccMemberFunction{bool operator()(const Kernel::Triangle_2&o);} \ccMemberFunction{bool operator()(const Kernel::Triangle_2&o);}
{returns true iff $o$ is degenerate.} {returns true iff $o$ is degenerate.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -27,4 +27,6 @@ A model for this must provide:
\ccMemberFunction{bool operator()(const Kernel::Tetrahedron_3&o);} \ccMemberFunction{bool operator()(const Kernel::Tetrahedron_3&o);}
{returns true iff $o$ is degenerate.} {returns true iff $o$ is degenerate.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -12,4 +12,6 @@ A model for this must provide:
\ccMemberFunction{bool operator()(const Kernel::Segment_2&o);} \ccMemberFunction{bool operator()(const Kernel::Segment_2&o);}
{returns true iff $o$ is horizontal.} {returns true iff $o$ is horizontal.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -12,4 +12,6 @@ A model for this must provide:
\ccMemberFunction{bool operator()(const Kernel::Segment_2&o);} \ccMemberFunction{bool operator()(const Kernel::Segment_2&o);}
{returns true iff $o$ is vertical.} {returns true iff $o$ is vertical.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -9,4 +9,6 @@ A model for this must provide:
{returns \ccStyle{true}, iff the three points \ccStyle{p}, \ccStyle{q} {returns \ccStyle{true}, iff the three points \ccStyle{p}, \ccStyle{q}
and \ccStyle{r} form a left turn.} and \ccStyle{r} form a left turn.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

View File

@ -8,4 +8,6 @@ A model for this must provide:
{returns true iff the $x$-coordinate of $p$ is smaller than the {returns true iff the $x$-coordinate of $p$ is smaller than the
$x$-coordinate of $q$.} $x$-coordinate of $q$.}
\ccIsModel\ccRefConceptPage{AdaptableFunctor}
\end{ccRefFunctionObjectConcept} \end{ccRefFunctionObjectConcept}

Some files were not shown because too many files have changed in this diff Show More