songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

remove unused typedefs

This commit is contained in:
Andreas Fabri 2013-03-04 16:11:35 +01:00
parent 3ffc10bc4a
commit 3f7f9c432e
5 changed files with 201 additions and 201 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Circular_kernel_2/test/Circular_kernel_2/include/CGAL/_test_circles_extention.h
View File

@ -203,8 +203,8 @@ template <class CK>
typedef typename CK::Point_2 Point_2;
typedef typename CK::Circular_arc_point_2 Circular_arc_point_2;
typedef typename CK::Intersect_2 Intersect_2;
typedef typename CK::Make_x_monotone_2 Make_x_monotone_2;
typedef typename CK::Line_arc_2 Line_arc_2;
int test_suite_cases[3][2][3] = {{{-7,-8,113},{9,9,162}},
{{0,0,1},{1,2,4}},

42
Circular_kernel_2/test/Circular_kernel_2/test_Line_arc.cpp
View File

@ -39,7 +39,7 @@
template <class CK>
void _test_Line_arc(CK ck)
{
typedef typename CK::FT FT;
typedef CGAL::Circle_2<CK> Circle_2;
typedef CGAL::Circular_arc_2<CK> Circular_arc_2;
typedef CGAL::Point_2<CK> Point_2;
@ -292,9 +292,9 @@ void _test_Line_arc(CK ck)
template <class CK>
void _test_intersection_Line_arc_Circle(CK ck)
{
typedef typename CK::FT FT;
typedef CGAL::Circle_2<CK> Circle_2;
typedef CGAL::Circular_arc_2<CK> Circular_arc_2;
typedef CGAL::Point_2<CK> Point_2;
typedef CGAL::Line_2<CK> Line_2;
typedef CGAL::Line_arc_2<CK> Line_arc_2;
@ -639,7 +639,7 @@ void _test_intersection_Line_arc_Circle(CK ck)
template <class CK>
void _test_intersection_Line_arc_Circular_arc(CK ck)
{
typedef typename CK::FT FT;
typedef CGAL::Circle_2<CK> Circle_2;
typedef CGAL::Circular_arc_2<CK> Circular_arc_2;
typedef CGAL::Point_2<CK> Point_2;
@ -861,7 +861,7 @@ void _test_intersection_Line_arc_Circular_arc(CK ck)
template <class CK>
void _test_compare_y_to_right(CK ck)
{
typedef typename CK::FT FT;
typedef CGAL::Circle_2<CK> Circle_2;
typedef CGAL::Circular_arc_2<CK> Circular_arc_2;
typedef CGAL::Point_2<CK> Point_2;
@ -869,7 +869,7 @@ void _test_compare_y_to_right(CK ck)
typedef CGAL::Line_arc_2<CK> Line_arc_2;
typedef CGAL::Circular_arc_point_2<CK> Circular_arc_point_2;
typedef typename CK::Intersect_2 Intersect_2;
typedef typename CK::Make_x_monotone_2 Make_x_monotone_2;
CGAL::Random generatorOfgenerator;
int random_seed = generatorOfgenerator.get_int(0, 123456);
std::cout << "random_seed = " << random_seed << std::endl;
@ -993,15 +993,15 @@ void _test_compare_y_to_right(CK ck)
template <class CK>
void _test_compare_y_at_x(CK ck)
{
typedef typename CK::FT FT;
typedef CGAL::Circle_2<CK> Circle_2;
typedef CGAL::Circular_arc_2<CK> Circular_arc_2;
typedef CGAL::Point_2<CK> Point_2;
typedef CGAL::Line_2<CK> Line_2;
typedef CGAL::Line_arc_2<CK> Line_arc_2;
typedef CGAL::Circular_arc_point_2<CK> Circular_arc_point_2;
typedef typename CK::Intersect_2 Intersect_2;
typedef typename CK::Make_x_monotone_2 Make_x_monotone_2;
typedef typename CK::Compare_y_at_x_2 Compare_y_at_x_2;
Line_arc_2 line_arc_horizontal(Point_2(-1, 0), Point_2(1, 0));
@ -1045,16 +1045,16 @@ void _test_compare_y_at_x(CK ck)
template <class CK>
void _test_has_on(CK)
{
typedef typename CK::FT FT;
typedef CGAL::Circle_2<CK> Circle_2;
typedef CGAL::Circular_arc_2<CK> Circular_arc_2;
typedef CGAL::Point_2<CK> Point_2;
typedef CGAL::Line_2<CK> Line_2;
typedef CGAL::Line_arc_2<CK> Line_arc_2;
typedef CGAL::Circular_arc_point_2<CK> Circular_arc_point_2;
typedef typename CK::Intersect_2 Intersect_2;
typedef typename CK::Make_x_monotone_2 Make_x_monotone_2;
typedef typename CK::Compare_y_at_x_2 Compare_y_at_x_2;
Line_arc_2 line_arc_horizontal(Point_2(-1, 0), Point_2(1, 0));
Line_arc_2 line_arc_vertical(Point_2(0, 0), Point_2(0, 1));

24
Circular_kernel_3/test/Circular_kernel_3/include/CGAL/_test_sphere_compute.h
View File

@ -24,31 +24,31 @@
template <class SK>
void _test_spherical_kernel_compute(SK sk)
{
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Circular_arc_3 Circular_arc_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_circular_arc_3 Construct_circular_arc_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Compute_area_divided_by_pi_3 Compute_area_divided_by_pi_3;
typedef typename SK::Compute_squared_length_divided_by_pi_square_3 Compute_squared_length_divided_by_pi_square_3;
typedef typename SK::Compute_approximate_area_3 Compute_approximate_area_3;
typedef typename SK::Compute_approximate_squared_length_3 Compute_approximate_squared_length_3;
typedef typename SK::Compute_approximate_angle_3 Compute_approximate_angle_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
std::cout << "TESTING COMPUTATIONS" << std::endl;

218
Circular_kernel_3/test/Circular_kernel_3/include/CGAL/_test_sphere_constructions.h
View File

@ -26,19 +26,19 @@
template <class SK>
void _test_circular_arc_point_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Equal_3 Equal_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
(void)/* Construct_sphere_3 theConstruct_sphere_3 = */ sk.construct_sphere_3_object();
@ -96,19 +96,19 @@ void _test_circular_arc_point_construct(SK sk) {
template <class SK>
void _test_sphere_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Get_equation theGet_equation = sk.get_equation_object();
Construct_sphere_3 theConstruct_sphere_3 = sk.construct_sphere_3_object();
@ -144,19 +144,19 @@ void _test_sphere_construct(SK sk) {
template <class SK>
void _test_plane_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Get_equation theGet_equation = sk.get_equation_object();
Construct_plane_3 theConstruct_plane_3 = sk.construct_plane_3_object();
@ -192,17 +192,17 @@ void _test_plane_construct(SK sk) {
template <class SK>
void _test_line_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
@ -243,24 +243,24 @@ void _test_line_construct(SK sk) {
template <class SK>
void _test_circle_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Equal_3 theEqual_3 = sk.equal_3_object();
Get_equation theGet_equation = sk.get_equation_object();
@ -338,9 +338,9 @@ void _test_circle_construct(SK sk) {
template <class SK>
void _test_line_arc_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Line_3 Line_3;
@ -351,10 +351,10 @@ void _test_line_arc_construct(SK sk) {
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Construct_line_arc_3 Construct_line_arc_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Get_equation theGet_equation = sk.get_equation_object();
Construct_line_3 theConstruct_line_3 = sk.construct_line_3_object();
@ -405,26 +405,26 @@ void _test_line_arc_construct(SK sk) {
template <class SK>
void _test_circular_arc_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Circular_arc_3 Circular_arc_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_circular_arc_3 Construct_circular_arc_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Equal_3 theEqual_3 = sk.equal_3_object();
(void)/* Get_equation theGet_equation = */sk.get_equation_object();
@ -498,9 +498,9 @@ void _test_circular_arc_construct(SK sk) {
template <class SK>
void _test_intersection_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef CGAL::Circular_arc_point_3<SK> Circular_arc_point_3;
typedef CGAL::Point_3<SK> Point_3;
typedef CGAL::Line_3<SK> Line_3;
@ -525,7 +525,7 @@ void _test_intersection_construct(SK sk) {
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Has_on_3 theHas_on_3 = sk.has_on_3_object();
@ -2150,30 +2150,30 @@ void _test_bbox(const typename SK::Circular_arc_point_3 &p)
template <class SK>
void _test_bbox(const typename SK::Circle_3 &c)
{
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Has_on_3 Has_on_3;
typedef typename SK::Construct_bbox_3 Construct_bbox_3;
typedef typename SK::Intersect_3 Intersect_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
typedef CGAL::Bbox_3 Bbox_3;
(void)/* Has_on_3 theHas_on_3 = */ SK().has_on_3_object();
@ -2236,32 +2236,32 @@ void _test_bbox(const typename SK::Circle_3 &c)
template <class SK>
void _test_bounding_box_construct(SK sk)
{
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Line_arc_3 Line_arc_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Has_on_3 Has_on_3;
typedef typename SK::Construct_bbox_3 Construct_bbox_3;
typedef typename SK::Intersect_3 Intersect_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Construct_line_arc_3 Construct_line_arc_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
typedef CGAL::Bbox_3 Bbox_3;
(void)/* Has_on_3 theHas_on_3 = */ sk.has_on_3_object();
@ -2404,34 +2404,34 @@ void _test_bounding_box_construct(SK sk)
template <class SK>
void _test_split_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Line_arc_3 Line_arc_3;
typedef typename SK::Circular_arc_3 Circular_arc_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Has_on_3 Has_on_3;
typedef typename SK::Split_3 Split_3;
typedef typename SK::Intersect_3 Intersect_3;
typedef typename SK::Construct_circular_arc_3 Construct_circular_arc_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Construct_line_arc_3 Construct_line_arc_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
(void)/* Has_on_3 theHas_on_3 = */ sk.has_on_3_object();
@ -2524,34 +2524,34 @@ void _test_split_construct(SK sk) {
template <class SK>
void _test_extremal_points_construct(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef CGAL::Circular_arc_point_3<SK> Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Plane_3 Plane_3;
typedef CGAL::Sphere_3<SK> Sphere_3;
typedef CGAL::Circle_3<SK> Circle_3;
typedef typename SK::Line_arc_3 Line_arc_3;
typedef typename SK::Circular_arc_3 Circular_arc_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Has_on_3 Has_on_3;
typedef typename SK::Split_3 Split_3;
typedef typename SK::Intersect_3 Intersect_3;
typedef typename SK::Construct_circular_arc_3 Construct_circular_arc_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Construct_line_arc_3 Construct_line_arc_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Construct_circle_3 theConstruct_circle_3 = sk.construct_circle_3_object();

114
Circular_kernel_3/test/Circular_kernel_3/include/CGAL/_test_sphere_predicates.h
View File

@ -26,20 +26,20 @@
template <class SK>
void _test_circular_arc_point_equal(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Equal_3 Equal_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
(void)/* Construct_sphere_3 theConstruct_sphere_3 = */ sk.construct_sphere_3_object();
Construct_circular_arc_point_3 theConstruct_circular_arc_point_3 =
@ -67,30 +67,30 @@ void _test_circular_arc_point_equal(SK sk) {
template <class SK>
void _test_line_arc_equal(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Line_arc_3 Line_arc_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename SK::Construct_line_arc_3 Construct_line_arc_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Equal_3 theEqual_3 = sk.equal_3_object();
Get_equation theGet_equation = sk.get_equation_object();
@ -143,26 +143,26 @@ void _test_line_arc_equal(SK sk) {
template <class SK>
void _test_circular_arc_equal(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Circular_arc_3 Circular_arc_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Equal_3 Equal_3;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_circular_arc_3 Construct_circular_arc_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Equal_3 theEqual_3 = sk.equal_3_object();
(void)/* Get_equation theGet_equation = */ sk.get_equation_object();
@ -228,7 +228,7 @@ void _test_circular_arc_equal(SK sk) {
template <class SK>
void _test_has_on_predicate(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
@ -500,31 +500,31 @@ bool simulate_has_on(int i, int j, int k) {
template <class SK>
void _test_do_overlap_predicate(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Plane_3 Plane_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Circle_3 Circle_3;
typedef typename SK::Line_3 Line_3;
typedef typename SK::Line_arc_3 Line_arc_3;
typedef typename SK::Circular_arc_3 Circular_arc_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Construct_circle_3 Construct_circle_3;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_plane_3 Construct_plane_3;
typedef typename SK::Construct_line_3 Construct_line_3;
typedef typename SK::Construct_line_arc_3 Construct_line_arc_3;
typedef typename SK::Construct_circular_arc_3 Construct_circular_arc_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Has_on_3 Has_on_3;
typedef typename SK::Do_overlap_3 Do_overlap_3;
typedef typename SK::Polynomials_for_circle_3 Polynomials_for_circle_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Construct_circle_3 theConstruct_circle_3 = sk.construct_circle_3_object();
@ -621,9 +621,9 @@ void _test_do_overlap_predicate(SK sk) {
template <class SK>
void _test_bounded_side(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Sphere_3 Sphere_3;
@ -633,9 +633,9 @@ void _test_bounded_side(SK sk) {
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Bounded_side_3 Bounded_side_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
Get_equation theGet_equation = sk.get_equation_object();
Construct_sphere_3 theConstruct_sphere_3 = sk.construct_sphere_3_object();
@ -678,21 +678,21 @@ void _test_bounded_side(SK sk) {
template <class SK>
void _test_lexico_operations(SK sk) {
typedef typename SK::RT RT;
typedef typename SK::FT FT;
typedef typename SK::Root_of_2 Root_of_2;
typedef typename SK::Circular_arc_point_3 Circular_arc_point_3;
typedef typename SK::Point_3 Point_3;
typedef typename SK::Sphere_3 Sphere_3;
typedef typename SK::Algebraic_kernel AK;
typedef typename SK::Get_equation Get_equation;
typedef typename SK::Construct_sphere_3 Construct_sphere_3;
typedef typename SK::Construct_circular_arc_point_3 Construct_circular_arc_point_3;
typedef typename SK::Bounded_side_3 Bounded_side_3;
typedef typename AK::Polynomial_for_spheres_2_3 Polynomial_for_spheres_2_3;
typedef typename AK::Polynomial_1_3 Polynomial_1_3;
typedef typename AK::Polynomials_for_line_3 Polynomials_for_line_3;
typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
(void)// Construct_circular_arc_point_3 theConstruct_circular_arc_point_3 =
sk.construct_circular_arc_point_3_object();