|
REAL
Regular Expression Algorithmic Library — constexpr C++20 regex
|
The fused scan's state: the DFA, its subset maps, and what the deferred build counts. More...
Public Attributes | |
| std::optional< dfa > | fused |
| The fused DFA; empty until built, or when it cannot be. | |
| std::vector< std::size_t > | eligible_orig |
| fused rule k → construction index. | |
| std::vector< std::size_t > | ineligible_orig |
| construction indices needing search. | |
| bool | partitioned {} |
| The partition ran at construction. | |
| std::atomic< std::uint64_t > | walked {0} |
| Whole-subject bytes matches walked, until ready. | |
| std::atomic< bool > | ready {false} |
| The fields above are final (the DFA built or given up). | |
| std::once_flag | once |
| The deferred build runs once. | |
The fused scan's state: the DFA, its subset maps, and what the deferred build counts.
Shared by copies of the set, and written once: at construction, or by the one call that builds it under once; ready publishes it. Held by pointer because the atomics and the once flag can be neither copied nor moved, and a set must stay both.