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 
43 
44 // ============================================================================
45 // concept
46 // ============================================================================
47 
48 namespace seqan3
49 {
50 
65 template <typename type>
67 concept aminoacid_concept = requires (type v)
68 {
69  requires alphabet_concept<type>;
70  { std::remove_reference_t<type>::A } -> std::remove_reference_t<type>;
71  { std::remove_reference_t<type>::B } -> std::remove_reference_t<type>;
72  { std::remove_reference_t<type>::C } -> std::remove_reference_t<type>;
73  { std::remove_reference_t<type>::D } -> std::remove_reference_t<type>;
74  { std::remove_reference_t<type>::E } -> std::remove_reference_t<type>;
75  { std::remove_reference_t<type>::F } -> std::remove_reference_t<type>;
76  { std::remove_reference_t<type>::G } -> std::remove_reference_t<type>;
77  { std::remove_reference_t<type>::H } -> std::remove_reference_t<type>;
78  { std::remove_reference_t<type>::I } -> std::remove_reference_t<type>;
79  { std::remove_reference_t<type>::J } -> std::remove_reference_t<type>;
80  { std::remove_reference_t<type>::K } -> std::remove_reference_t<type>;
81  { std::remove_reference_t<type>::L } -> std::remove_reference_t<type>;
82  { std::remove_reference_t<type>::M } -> std::remove_reference_t<type>;
83  { std::remove_reference_t<type>::N } -> std::remove_reference_t<type>;
84  { std::remove_reference_t<type>::O } -> std::remove_reference_t<type>;
85  { std::remove_reference_t<type>::P } -> std::remove_reference_t<type>;
86  { std::remove_reference_t<type>::Q } -> std::remove_reference_t<type>;
87  { std::remove_reference_t<type>::R } -> std::remove_reference_t<type>;
88  { std::remove_reference_t<type>::S } -> std::remove_reference_t<type>;
89  { std::remove_reference_t<type>::T } -> std::remove_reference_t<type>;
90  { std::remove_reference_t<type>::U } -> std::remove_reference_t<type>;
91  { std::remove_reference_t<type>::V } -> std::remove_reference_t<type>;
92  { std::remove_reference_t<type>::W } -> std::remove_reference_t<type>;
93  { std::remove_reference_t<type>::X } -> std::remove_reference_t<type>;
94  { std::remove_reference_t<type>::Y } -> std::remove_reference_t<type>;
95  { std::remove_reference_t<type>::Z } -> std::remove_reference_t<type>;
96  { std::remove_reference_t<type>::TERMINATOR } -> std::remove_reference_t<type>;
97  { std::remove_reference_t<type>::UNKNOWN } -> std::remove_reference_t<type>;
98 
99 };
101 } // namespace seqan3
The main SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:58
Core alphabet concept and free function/metafunction wrappers.