asymptotic_types.hpp

Go to the documentation of this file.

// This file is a part of NiHu, a C++ BEM template library.
//
// Copyright (C) 2012-2014  Peter Fiala <fiala@hit.bme.hu>
// Copyright (C) 2012-2014  Peter Rucz <rucz@hit.bme.hu>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
#ifndef NIHU_ASYMPTOTIC_TYPES_HPP_INCLUDED
#define NIHU_ASYMPTOTIC_TYPES_HPP_INCLUDED
 
#include "../tmp/relation.hpp"
 
namespace NiHu
{
 
namespace asymptotic
{
    struct regular { typedef regular type; };
 
    template <unsigned order>
    struct log : std::integral_constant<unsigned, order>
    {
        typedef log type;
    };
 
    template <unsigned order>
    struct inverse : std::integral_constant<unsigned, order>
    {
        typedef inverse type;
    };
    
    template <int order>
    struct power : std::integral_constant<int, order>
    {
        typedef power type;
    };
} // end of namespace asymptotic
 
template <class SingularityType>
struct minimal_reference_dimension;
 
template <>
struct minimal_reference_dimension<asymptotic::log<1> >
{
    static unsigned const value = 1;
};
 
 
template <unsigned order>
struct minimal_reference_dimension<asymptotic::inverse<order> >
{
    static unsigned const value = order+1;
};
 
template <int order>
struct minimal_reference_dimension<asymptotic::power<order> >
{
    static unsigned const value = -order+1;
};
 
} // end of namespace NiHu
 
 
 
namespace tmp
{
    template <unsigned o1, unsigned o2>
    struct less<NiHu::asymptotic::log<o1>, NiHu::asymptotic::log<o2> >
        : std::integral_constant<bool, (o1 < o2) > {};
 
    template <unsigned o1, unsigned o2>
    struct greater<NiHu::asymptotic::log<o1>, NiHu::asymptotic::log<o2> >
        : std::integral_constant<bool, (o1 > o2) > {};
 
    template <unsigned o1, unsigned o2>
    struct less<NiHu::asymptotic::inverse<o1>, NiHu::asymptotic::inverse<o2> >
        : std::integral_constant<bool, (o1 < o2) > {};
 
    template <unsigned o1, unsigned o2>
    struct greater<NiHu::asymptotic::inverse<o1>, NiHu::asymptotic::inverse<o2> >
        : std::integral_constant<bool, (o1 > o2) > {};
 
    template <unsigned o1, unsigned o2>
    struct less<NiHu::asymptotic::log<o1>, NiHu::asymptotic::inverse<o2> >
        : std::true_type {};
 
    template <unsigned o1, unsigned o2>
    struct less<NiHu::asymptotic::inverse<o1>, NiHu::asymptotic::log<o2> >
        : std::false_type {};
 
    template <unsigned o1, unsigned o2>
    struct greater<NiHu::asymptotic::log<o1>, NiHu::asymptotic::inverse<o2> >
        : std::false_type {};
 
    template <unsigned o1, unsigned o2>
    struct greater<NiHu::asymptotic::inverse<o1>, NiHu::asymptotic::log<o2> >
        : std::true_type {};
}
 
 
#endif /* NIHU_ASYMPTOTIC_TYPES_HPP_INCLUDED */