00001 // Interval Wrapper Class -*- C++ -*- 00002 00003 // $Id: interval.cc 347 2008-02-06 15:20:01Z schilly $ 00004 // Copyright (C) 2001-2004 Hermann Schichl and Xuan-Ha VU 00005 // 00006 // This file is part of the COCONUT API. This library 00007 // is free software; you can redistribute it and/or modify it under the 00008 // terms of the Library GNU General Public License as published by the 00009 // Free Software Foundation; either version 2, or (at your option) 00010 // any later version. 00011 00012 // This library is distributed in the hope that it will be useful, 00013 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 // Library GNU General Public License for more details. 00016 00017 // As a special exception, you may use this file as part of a free software 00018 // library without restriction. Specifically, if other files instantiate 00019 // templates or use macros or inline functions from this file, or you compile 00020 // this file and link it with other files to produce an executable, this 00021 // file does not by itself cause the resulting executable to be covered by 00022 // the Library GNU General Public License. This exception does not however 00023 // invalidate any other reasons why the executable file might be covered by 00024 // the Library GNU General Public License. 00025 00028 //------------------------------------------------------------------------------ 00029 // IMPLEMENTAION 00030 //------------------------------------------------------------------------------ 00031 00032 #include <coconut_config.h> 00033 #include <interval.h> 00034 00035 #if COCONUT_INTERVAL_LIBRARY == INTERVAL_LIBRARY_FILIB 00036 #include <interval_filib.cpp> 00037 #elif COCONUT_INTERVAL_LIBRARY == INTERVAL_LIBRARY_BOOST 00038 #include <interval_boost.cpp> 00039 #else 00040 #error "No proper interval library selected in ../include/coconut_config.h" 00041 #endif
1.5.8