Ginkgo Generated from branch based on master. Ginkgo version 1.7.0
A numerical linear algebra library targeting many-core architectures
Loading...
Searching...
No Matches
containers.hpp
1/*******************************<GINKGO LICENSE>******************************
2Copyright (c) 2017-2023, the Ginkgo authors
3All rights reserved.
4
5Redistribution and use in source and binary forms, with or without
6modification, are permitted provided that the following conditions
7are met:
8
91. Redistributions of source code must retain the above copyright
10notice, this list of conditions and the following disclaimer.
11
122. Redistributions in binary form must reproduce the above copyright
13notice, this list of conditions and the following disclaimer in the
14documentation and/or other materials provided with the distribution.
15
163. Neither the name of the copyright holder nor the names of its
17contributors may be used to endorse or promote products derived from
18this software without specific prior written permission.
19
20THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
21IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
22TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
23PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
24HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
25SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
26LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
28THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
29(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
30OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31******************************<GINKGO LICENSE>*******************************/
32
33#ifndef GKO_PUBLIC_CORE_SYNTHESIZER_CONTAINERS_HPP_
34#define GKO_PUBLIC_CORE_SYNTHESIZER_CONTAINERS_HPP_
35
36
37#include <array>
38#include <type_traits>
39
40
41namespace gko {
47namespace syn {
48
49
56template <typename T, T... Values>
57struct value_list {};
58
59
65template <typename... Types>
66struct type_list {};
67
68
76template <int Start, int End, int Step = 1>
77struct range {};
78
79
80namespace detail {
81
82
89template <typename List1, typename List2>
90struct concatenate_impl;
91
99template <typename T, T... Values1, T... Values2>
100struct concatenate_impl<value_list<T, Values1...>, value_list<T, Values2...>> {
101 using type = value_list<T, Values1..., Values2...>;
102};
103
104
105} // namespace detail
106
107
114template <typename List1, typename List2>
115using concatenate = typename detail::concatenate_impl<List1, List2>::type;
116
117
118namespace detail {
119
120
126template <typename T, typename = void>
127struct as_list_impl;
128
135template <typename T, T... Values>
136struct as_list_impl<value_list<T, Values...>> {
137 using type = value_list<T, Values...>;
138};
139
145template <typename... Types>
146struct as_list_impl<type_list<Types...>> {
147 using type = type_list<Types...>;
148};
149
158template <int Start, int End, int Step>
159struct as_list_impl<range<Start, End, Step>, std::enable_if_t<(Start < End)>> {
160 using type = concatenate<
163};
164
172template <int Start, int End, int Step>
173struct as_list_impl<range<Start, End, Step>, std::enable_if_t<(Start >= End)>> {
174 using type = value_list<int>;
175};
176
177
178} // namespace detail
179
180
187template <typename T>
188using as_list = typename detail::as_list_impl<T>::type;
189
190
202template <typename T, T... Value>
203constexpr std::array<T, sizeof...(Value)> as_array(value_list<T, Value...> vl)
204{
205 return std::array<T, sizeof...(Value)>{Value...};
206}
207
208
209} // namespace syn
210} // namespace gko
211
212
213#endif // GKO_PUBLIC_CORE_SYNTHESIZER_CONTAINERS_HPP_
typename detail::as_list_impl< T >::type as_list
as_list<T> gives the alias type of as_list_impl<T>::type.
Definition containers.hpp:188
constexpr std::array< T, sizeof...(Value)> as_array(value_list< T, Value... > vl)
as_array<T> returns the array from value_list.
Definition containers.hpp:203
typename detail::concatenate_impl< List1, List2 >::type concatenate
concatenate combines two value_list into one value_list.
Definition containers.hpp:115
The Ginkgo namespace.
Definition abstract_factory.hpp:48
constexpr T one()
Returns the multiplicative identity for T.
Definition math.hpp:803
range records start, end, step in template
Definition containers.hpp:77
type_list records several types in template
Definition containers.hpp:66
value_list records several values with the same type in template.
Definition containers.hpp:57