SeqAn3 3.3.0-rc.1
The Modern C++ library for sequence analysis.
coordinate_matrix.hpp
Go to the documentation of this file.
1// -----------------------------------------------------------------------------------------------------
2// Copyright (c) 2006-2022, Knut Reinert & Freie Universität Berlin
3// Copyright (c) 2016-2022, Knut Reinert & MPI für molekulare Genetik
4// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
5// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
6// -----------------------------------------------------------------------------------------------------
7
13#pragma once
14
15#include <concepts>
16#include <ranges>
17
26
27namespace seqan3::detail
28{
29
30//------------------------------------------------------------------------------
31// coordinate_matrix
32//------------------------------------------------------------------------------
33
62template <typename index_t>
63 requires (std::integral<index_t> || simd_index<index_t>)
65{
66private:
75 {
77 index_t column_index{};
78
85 auto operator()(index_t const row_index) noexcept
86 {
87 return matrix_index<index_t>{row_index_type{row_index}, column_index_type{column_index}};
88 }
89 };
90
92 template <typename simd_index_t>
94
96 using size_type = lazy_conditional_t<simd_concept<index_t>, lazy<lazy_scalar_type_t, index_t>, index_t>;
97
98 // The coordinate matrix iterator.
99 class iterator;
100
102 size_type column_count{};
104 size_type row_count{};
105
106public:
110 coordinate_matrix() = default;
115 ~coordinate_matrix() = default;
116
135 template <std::integral column_index_t, std::integral row_index_t>
137 row_index_type<row_index_t> const row_count) noexcept
138 {
139 this->column_count = column_count.get();
140 this->row_count = row_count.get();
141 }
143
148 iterator begin() const noexcept
149 {
150 return iterator{size_type{}, row_count};
151 }
152
154 iterator end() const noexcept
155 {
156 return iterator{column_count, row_count};
157 }
159};
160
161//------------------------------------------------------------------------------
162// iterator
163//------------------------------------------------------------------------------
164
174template <typename index_t>
175 requires (std::integral<index_t> || simd_index<index_t>)
177{
178private:
180 using iota_view_t = lazy_conditional_t<simd_index<index_t>,
182 decltype(std::views::iota(size_type{}, size_type{}))>;
184 index_t column_id{0};
186 size_type row_count{0};
187
188public:
193 using value_type = decltype(std::declval<iota_view_t>()
194 | std::views::transform(convert_to_matrix_coordinate{index_t{} /*column_id*/}));
198 using pointer = void;
204
208 iterator() = default;
209 iterator(iterator const &) = default;
210 iterator(iterator &&) = default;
211 iterator & operator=(iterator const &) = default;
212 iterator & operator=(iterator &&) = default;
213 ~iterator() = default;
214
221 explicit iterator(size_type column_id, size_type row_count) noexcept : row_count{std::move(row_count)}
222 {
223 if constexpr (simd_index<index_t>)
224 this->column_id = simd::fill<index_t>(std::move(column_id));
225 else
226 this->column_id = std::move(column_id);
227 }
229
235 auto operator*() const
236 {
237 if constexpr (simd_index<index_t>)
238 {
239 return views::iota_simd<index_t>(size_type{}, row_count)
241 }
242 else
243 {
244 return std::views::iota(size_type{}, row_count)
246 }
247 }
249
256 {
257 // clang: pre-increment of a SIMD vector does not work
258 if constexpr (simd_index<index_t>)
259 column_id = column_id + simd::fill<index_t>(1);
260 else
261 ++column_id;
262
263 return *this;
264 }
265
268 {
269 iterator tmp{*this};
270 ++(*this);
271 return tmp;
272 }
274
280 friend bool operator==(iterator const & lhs, iterator const & rhs)
281 {
282 if constexpr (simd_index<index_t>)
283 return lhs.column_id[0] == rhs.column_id[0];
284 else
285 return lhs.column_id == rhs.column_id;
286 }
287
289 friend bool operator!=(iterator const & lhs, iterator const & rhs)
290 {
291 return !(lhs == rhs);
292 }
294};
295} // namespace seqan3::detail
Provides algorithms to modify seqan3::simd::simd_type.
Provides seqan3::aligned_allocator.
The iterator for the seqan3::detail::coordinate_matrix.
Definition: coordinate_matrix.hpp:177
friend bool operator!=(iterator const &lhs, iterator const &rhs)
Tests whether lhs != rhs.
Definition: coordinate_matrix.hpp:289
auto operator*() const
Access the pointed-to matrix coordinate column.
Definition: coordinate_matrix.hpp:235
decltype(std::declval< iota_view_t >()|std::views::transform(convert_to_matrix_coordinate{index_t{} })) value_type
The value type.
Definition: coordinate_matrix.hpp:194
lazy_conditional_t< simd_index< index_t >, lazy< iota_simd_view, index_t >, decltype(std::views::iota(size_type{}, size_type{}))> iota_view_t
The iota view type which depends on the index type.
Definition: coordinate_matrix.hpp:182
value_type reference
The reference type.
Definition: coordinate_matrix.hpp:196
iterator(iterator const &)=default
Defaulted.
iterator & operator=(iterator const &)=default
Defaulted.
iterator(iterator &&)=default
Defaulted.
index_t column_id
The currently represented column index.
Definition: coordinate_matrix.hpp:184
iterator(size_type column_id, size_type row_count) noexcept
Constructs and initialises the iterator with the current column index and the row index marking the e...
Definition: coordinate_matrix.hpp:221
iterator & operator++()
Increments the iterator to the next column.
Definition: coordinate_matrix.hpp:255
iterator & operator=(iterator &&)=default
Defaulted.
void pointer
The pointer type.
Definition: coordinate_matrix.hpp:198
iterator operator++(int)
Increments the iterator to the next column and returns the iterator pointing to the previous column.
Definition: coordinate_matrix.hpp:267
friend bool operator==(iterator const &lhs, iterator const &rhs)
Tests whether lhs == rhs.
Definition: coordinate_matrix.hpp:280
A matrix over coordinates.
Definition: coordinate_matrix.hpp:65
void resize(column_index_type< column_index_t > const column_count, row_index_type< row_index_t > const row_count) noexcept
Resets the coordinate matrix with the given end column index and end row index representing the new d...
Definition: coordinate_matrix.hpp:136
lazy_conditional_t< simd_concept< index_t >, lazy< lazy_scalar_type_t, index_t >, index_t > size_type
The internal size type which depends on index_t being a simd vector or a scalar type.
Definition: coordinate_matrix.hpp:96
coordinate_matrix(coordinate_matrix const &)=default
Defaulted.
iterator end() const noexcept
Returns the iterator pointing to the end column of the matrix.
Definition: coordinate_matrix.hpp:154
coordinate_matrix(coordinate_matrix &&)=default
Defaulted.
coordinate_matrix()=default
Defaulted.
~coordinate_matrix()=default
Defaulted.
coordinate_matrix & operator=(coordinate_matrix &&)=default
Defaulted.
typename simd_traits< simd_index_t >::scalar_type lazy_scalar_type_t
Type alias for the scalar type defined by the seqan3::simd::simd_traits type.
Definition: coordinate_matrix.hpp:93
coordinate_matrix & operator=(coordinate_matrix const &)=default
Defaulted.
iterator begin() const noexcept
Returns the iterator pointing to the first column of the matrix.
Definition: coordinate_matrix.hpp:148
constexpr simd_t iota(typename simd_traits< simd_t >::scalar_type const offset)
Fills a seqan3::simd::simd_type vector with the scalar values offset, offset+1, offset+2,...
Definition: algorithm.hpp:319
decltype(detail::transform< trait_t >(list_t{})) transform
Apply a transformation trait to every type in the list and return a seqan3::type_list of the results.
Definition: type_list/traits.hpp:470
Refines the seqan3::simd::simd_concept requiring the underlying scalar type to model std::integral.
Provides seqan3::detail::counted_simd_iterator and seqan3::views::iota_simd.
Provides lazy template instantiation traits.
Provides seqan3::detail::matrix_index, seqan3::detail::matrix_coordinate and associated strong types.
The internal SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
Provides seqan3::simd::simd_traits.
A strong type for designated initialisation of the column index of a matrix.
Definition: matrix_coordinate.hpp:32
A function object that converts a column index and a row index to a seqan3::detail::matrix_coordinate...
Definition: coordinate_matrix.hpp:75
auto operator()(index_t const row_index) noexcept
The conversion operator.
Definition: coordinate_matrix.hpp:85
An empty type whose only purpose is to hold an uninstantiated template plus its arguments.
Definition: lazy_conditional.hpp:33
A representation of a location or offset within a two-dimensional matrix.
Definition: matrix_coordinate.hpp:90
A strong type for designated initialisation of the row index of a matrix.
Definition: matrix_coordinate.hpp:61
seqan3::simd::simd_traits is the trait class that provides uniform interface to the properties of sim...
Definition: simd_traits.hpp:41
Provides type traits for working with templates.
Provides seqan3::simd::simd_concept.