concept LinearKernel now == Kernel

This commit is contained in:
Monique Teillaud 2006-01-25 13:29:06 +00:00
parent 2fbd7f0a6f
commit e91f563117
1 changed files with 15 additions and 14 deletions

View File

@ -3,24 +3,25 @@
\ccDefinition
The geometric kernel parameter of \ccc{CGAL::Circular_kernel} is
supposed to be a model of the \ccc{CGAL::Kernel} concept, so that the
circular kernel provides all functionalities of a CGAL kernel.
supposed to be a model of the \textit{(two-dimensional)}\ccc{Kernel}
concept, so that the circular kernel provides all functionalities of a
CGAL kernel.
In fact, even though all types and operations of the
\ccc{CGAL::Kernel} concept are required so that
\ccc{CGAL::Circular_kernel} actually refines \ccc{CGAL::Kernel}, only
the following types are explicitly used by \ccc{Circular_kernel} and
can thus be considered as minimal requirements:
%In fact, even though all types and operations of the
%\ccc{CGAL::Kernel} concept are required so that
%\ccc{CGAL::Circular_kernel} actually refines \ccc{CGAL::Kernel}, only
%the following types are explicitly used by \ccc{Circular_kernel} and
%can thus be considered as minimal requirements:
\ccNestedType{RT}{A model of \ccc{RingNumberType}.}
\ccNestedType{FT}{A model of \ccc{FieldNumberType<RT>}.} \footnote{concept template...?}
%\ccNestedType{RT}{A model of \ccc{RingNumberType}.}
%\ccNestedType{FT}{A model of \ccc{FieldNumberType<RT>}.} \footnote{concept template...?}
\ccNestedType{Point_2}{A model of \ccc{Point_2}.}
\ccNestedType{Line_2}{A model of \ccc{Line_2}.}
\ccNestedType{Circle_2}{A model of \ccc{Circle_2}.}
\ccNestedType{Object_2}{A model of \ccc{Object_2}.}
%\ccNestedType{Point_2}{A model of \ccc{Point_2}.}
%\ccNestedType{Line_2}{A model of \ccc{Line_2}.}
%\ccNestedType{Circle_2}{A model of \ccc{Circle_2}.}
%\ccNestedType{Object_2}{A model of \ccc{Object_2}.}
Note that all operations on these types are also required.
%Note that all operations on these types are also required.
\ccHasModels