configuration_utility.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2020, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2020, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <array>
#include <type_traits>
 
#include <meta/meta.hpp>
 
#include <seqan3/core/algorithm/concept.hpp>
#include <seqan3/core/type_list/type_list.hpp>
#include <seqan3/core/concept/tuple.hpp>
 
namespace seqan3::detail
{
 
// ----------------------------------------------------------------------------
// compatibility_table
// ----------------------------------------------------------------------------
 
template <typename algorithm_id_type>
inline constexpr std::array<std::array<void, 0>, 0> compatibility_table;
 
// ----------------------------------------------------------------------------
// Type trait is_configuration_valid
// ----------------------------------------------------------------------------
 
template <config_element_specialisation query_t, config_element_specialisation ... compare_types>
struct is_configuration_valid :
    public std::conditional_t<
        (std::is_same_v<std::remove_cvref_t<decltype(query_t::id)>, std::remove_cvref_t<decltype(compare_types::id)>> && ...) &&
        (compatibility_table<std::remove_cvref_t<decltype(query_t::id)>>
                [static_cast<std::underlying_type_t<std::remove_cvref_t<decltype(query_t::id)>>>(query_t::id)]
                [static_cast<std::underlying_type_t<std::remove_cvref_t<decltype(query_t::id)>>>(compare_types::id)] && ...),
        std::true_type,  // If condition is true.
        std::false_type  // If condition is false.
    >
{};
 
template <typename query_t, typename ...compare_types>
inline constexpr bool is_configuration_valid_v = is_configuration_valid<query_t, compare_types...>::value;
 
// ----------------------------------------------------------------------------
// Metafunction is_same_configuration_f
// ----------------------------------------------------------------------------
 
template <template <typename ...> typename query_t>
struct is_same_configuration_f
{
    template <typename compare_type>
    using invoke = is_type_specialisation_of<compare_type, query_t>;
};
 
} // namespace seqan3::detail