/usr/include/CGAL/leda_coercion_traits.h is in libcgal-dev 4.11-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 | // Copyright (c) 2006-2008 Max-Planck-Institute Saarbruecken (Germany).
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; either version 3 of the License,
// or (at your option) any later version.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL$
// $Id$
//
//
// Author(s) : Michael Hemmer <hemmer@mpi-inf.mpg.de>
/*! \file NiX/LEDA/Coercion_traits.h
* \brief Provides specializations of Coercion_traits for the LEDA number types.
*/
#ifndef CGAL_LEDA_COERCION_TRAITS_H
#define CGAL_LEDA_COERCION_TRAITS_H
#include <CGAL/number_type_basic.h>
#ifdef CGAL_USE_LEDA
#include <CGAL/LEDA_basic.h>
#include <LEDA/numbers/integer.h>
#include <LEDA/numbers/bigfloat.h>
#include <LEDA/numbers/rational.h>
#include <LEDA/numbers/real.h>
namespace CGAL {
//LEDA internal coercions:
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::integer,::leda::bigfloat)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::integer,::leda::rational)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::integer,::leda::real)
// CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::bigfloat,::leda::rational); see below
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::bigfloat,::leda::real)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::rational,::leda::real)
// The following definitions reflect the interaction of the LEDA number types
// with the built in types,
// leda integer:
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short ,::leda::integer)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int ,::leda::integer)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long ,::leda::integer)
// leda rational:
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short ,::leda::rational)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int ,::leda::rational)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long ,::leda::rational)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(float ,::leda::rational)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(double ,::leda::rational)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long double,::leda::rational)
// leda bigfloat: :
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short ,::leda::bigfloat)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int ,::leda::bigfloat)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long ,::leda::bigfloat)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(float ,::leda::bigfloat)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(double ,::leda::bigfloat)
// leda real:
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short ,::leda::real)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int ,::leda::real)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(float ,::leda::real)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(double ,::leda::real)
//not provided by LEDA
//Note that this is not symmetric to CORE
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long long,::leda::integer);
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long long,::leda::rational);
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long long ,::leda::bigfloat);
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long double,::leda::bigfloat);
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long ,::leda::real);
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long long ,::leda::real);
//CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long double,::leda::real);
template <>
struct Coercion_traits< ::leda::bigfloat ,::leda::rational >{
typedef Tag_true Are_explicit_interoperable;
typedef Tag_false Are_implicit_interoperable;
typedef ::leda::rational Type;
struct Cast{
typedef Type result_type;
Type operator()(const ::leda::rational& x) const { return x;}
Type operator()(const ::leda::bigfloat& x) const {
return x.to_rational();
}
};
};
template <> struct Coercion_traits< ::leda::rational, ::leda::bigfloat >
:public Coercion_traits< ::leda::bigfloat , ::leda::rational >{};
} //namespace CGAL
#endif // CGAL_USE_LEDA
#endif //CGAL_LEDA_COERCION_TRAITS_H
//EOF
|