formalism.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 FORMALISM_HPP
#define FORMALISM_HPP
 
#include "field.hpp"
#include <type_traits>
 
namespace NiHu
{
 
namespace formalism
{
    struct general { typedef general type; };
    struct collocational { typedef collocational type; };
}
 
template <class TestField, class TrialField, class = void>
struct get_formalism;
 
template <class TestField, class TrialField>
struct get_formalism<TestField, TrialField, typename std::enable_if<
        field_traits::is_dirac<TestField>::value && !field_traits::is_dirac<TrialField>::value
    >::type
> : formalism::collocational {};
 
 
template <class TestField, class TrialField>
struct get_formalism<TestField, TrialField,
    typename std::enable_if<
        !field_traits::is_dirac<TestField>::value && !field_traits::is_dirac<TrialField>::value
    >::type
> : formalism::general {};
 
 
 
template <class TestField, class TrialField>
struct is_collocational : std::is_same<
    typename get_formalism<TestField, TrialField>::type,
    formalism::collocational
> {};
 
} // end of namespace NiHu
 
 
#endif