SeqAn3
concept.hpp
Go to the documentation of this file.
1 // ============================================================================
2 // SeqAn - The Library for Sequence Analysis
3 // ============================================================================
4 //
5 // Copyright (c) 2006-2018, Knut Reinert & Freie Universitaet Berlin
6 // Copyright (c) 2016-2018, Knut Reinert & MPI Molekulare Genetik
7 // All rights reserved.
8 //
9 // Redistribution and use in source and binary forms, with or without
10 // modification, are permitted provided that the following conditions are met:
11 //
12 // * Redistributions of source code must retain the above copyright
13 // notice, this list of conditions and the following disclaimer.
14 // * Redistributions in binary form must reproduce the above copyright
15 // notice, this list of conditions and the following disclaimer in the
16 // documentation and/or other materials provided with the distribution.
17 // * Neither the name of Knut Reinert or the FU Berlin nor the names of
18 // its contributors may be used to endorse or promote products derived
19 // from this software without specific prior written permission.
20 //
21 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
22 // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24 // ARE DISCLAIMED. IN NO EVENT SHALL KNUT REINERT OR THE FU BERLIN BE LIABLE
25 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
27 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
28 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29 // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30 // OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
31 // DAMAGE.
32 //
33 // ============================================================================
34 
40 #pragma once
41 
42 #include <functional>
43 #include <type_traits>
44 
45 #include <meta/meta.hpp>
46 
48 #include <seqan3/std/concepts>
49 
50 namespace seqan3::detail
51 {
52 
53 // ----------------------------------------------------------------------------
54 // Concept config_element_concept
55 // ----------------------------------------------------------------------------
56 
58 template <typename derived_t>
59 class config_element_base;
61 
78 template <typename config_t>
81 concept config_element_concept = std::Semiregular<std::remove_reference_t<config_t>> &&
82 requires (config_t c)
83 {
84  { c.value };
85 };
87 
88 // ----------------------------------------------------------------------------
89 // Concept deferred_config_element_concept
90 // ----------------------------------------------------------------------------
91 
93 // Forward declaration for the deferred config concept
94 template <detail::config_element_concept ... configs_t>
95 class configuration;
96 
97 template <typename derived_t>
98 class deferred_config_element_base;
100 
113 template <typename config_t>
115 concept deferred_config_element_concept = config_element_concept<config_t> &&
116  std::is_base_of_v<deferred_config_element_base<std::remove_reference_t<config_t>>,
117  std::remove_reference_t<config_t>>;
119 
120 // ----------------------------------------------------------------------------
121 // Metafunction is_algorithm_configuration
122 // ----------------------------------------------------------------------------
123 
129 template <typename object_t>
130 struct is_algorithm_configuration : std::false_type
131 {};
132 
134 template <typename ...config_elements_t>
135 struct is_algorithm_configuration<configuration<config_elements_t...>> : std::true_type
136 {};
138 
142 template <typename object_t>
143 inline constexpr bool is_algorithm_configuration_v = is_algorithm_configuration<object_t>::value;
144 
145 } // namespace seqan3::detail
Subsumes std::Copyable and std::DefaultConstructible.
Provides seqan3::type_list and auxiliary metafunctions.
The Concepts library.
Definition: aligned_sequence_concept.hpp:288
Provides C++20 additions to the type_traits header.