15 #include <type_traits>
17 #include <sdsl/suffix_arrays.hpp>
23 namespace seqan3::detail
39 SEQAN3_CONCEPT sdsl_index = requires (t sdsl_index)
41 typename t::size_type;
50 requires requires (t sdsl_index,
typename t::char_type
const c,
typename t::size_type
const lb,
51 typename t::size_type
const rb, sdsl::int_vector<8>
const text)
53 { sdsl_index.bwt.rank(lb, c) };
54 { sdsl_index.wavelet_tree.lex_count(lb, rb, c) };
55 { sdsl::construct_im(sdsl_index, text, 0) };
102 typename t::alphabet_type;
103 typename t::size_type;
104 typename t::cursor_type;
150 template <
typename t>
153 typename t::index_type;
154 typename t::size_type;
158 requires requires (
typename t::index_type
const index) { { t(index) }; };
160 requires requires (t cur,
161 typename t::index_type::alphabet_type
const c,
171 { cur.path_label(text) };
179 { cur.lazy_locate() };
205 template <
typename t>
208 typename t::cursor_type;
209 typename t::fwd_cursor_type;
240 template <
typename t>
245 requires requires (
typename t::index_type
const index) { { t(index) }; };
247 requires requires (t cur,
248 typename t::index_type::alphabet_type
const c,
constexpr sequenced_policy seq
Global execution policy object for sequenced execution policy.
Definition: execution.hpp:54
text_layout
The possible text layouts (single, collection) the seqan3::fm_index and seqan3::bi_fm_index can suppo...
Definition: concept.hpp:82
@ single
The text is a single range.
Definition: concept.hpp:84
@ collection
The text is a range of ranges.
Definition: concept.hpp:86
Concept for bidirectional FM index cursors.
Concept for bidirectional FM indices.
Concept for unidirectional FM index cursors.
Concept for unidirectional FM indices.
The main SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
Additional non-standard concepts for ranges.
Adaptations of concepts from the standard library.
Provides various transformation traits used by the range module.