BWAPI: SPAR/AIModule/BWTA/vendors/CGAL/CGAL/Qualified_result

Go to the documentation of this file.
00001 // Copyright (c) 1999,2003  Utrecht University (The Netherlands),
00002 // ETH Zurich (Switzerland), Freie Universitaet Berlin (Germany),
00003 // INRIA Sophia-Antipolis (France), Martin-Luther-University Halle-Wittenberg
00004 // (Germany), Max-Planck-Institute Saarbruecken (Germany), RISC Linz (Austria),
00005 // and Tel-Aviv University (Israel).  All rights reserved.
00006 //
00007 // This file is part of CGAL (www.cgal.org); you can redistribute it and/or
00008 // modify it under the terms of the GNU Lesser General Public License as
00009 // published by the Free Software Foundation; version 2.1 of the License.
00010 // See the file LICENSE.LGPL distributed with CGAL.
00011 //
00012 // Licensees holding a valid commercial license may use this file in
00013 // accordance with the commercial license agreement provided with the software.
00014 //
00015 // This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
00016 // WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
00017 //
00018 // $URL: svn+ssh://scm.gforge.inria.fr/svn/cgal/branches/CGAL-3.5-branch/Kernel_23/include/CGAL/Qualified_result_of.h $
00019 // $Id: Qualified_result_of.h 30322 2006-04-14 15:07:17Z lsaboret $
00020 // 
00021 //
00022 // Author(s)     : Sylvain Pion
00023  
00024 
00025 #ifndef CGAL_QUALIFIED_RESULT_OF_H
00026 #define CGAL_QUALIFIED_RESULT_OF_H
00027 
00028 #include <boost/type_traits.hpp>
00029 
00030 CGAL_BEGIN_NAMESPACE
00031 
00032 struct Has_qrt {};
00033 
00034 template < typename F, bool b >
00035 struct qrt_or_not
00036 { typedef typename F::result_type type; };
00037 
00038 template < typename F >
00039 struct qrt_or_not <F, true>
00040 { typedef const typename F::result_type & type; };
00041 
00042 template <typename Functor, typename P1 = void, typename P2 = void,
00043                             typename P3 = void, typename P4 = void,
00044                             typename P5 = void, typename P6 = void,
00045                             typename P7 = void, typename P8 = void>
00046 struct Qualified_result_of
00047   : qrt_or_not<Functor, boost::is_base_and_derived<Has_qrt, Functor>::value>
00048 {};
00049 
00050 CGAL_END_NAMESPACE
00051 
00052 #endif // CGAL_QUALIFIED_RESULT_OF_H