real::detail::basic_thread_list< PcVec, SlotVec, MarkVec > Struct Template Reference

One priority-ordered list of NFA threads (leftmost-greedy semantics). More...

#include <pike.hpp>

Public Member Functions
constexpr void	reset (std::size_t code_size)
	Clears the list in O(1) by bumping the generation.
constexpr bool	seen (std::int32_t pc) const
	Returns true if pc is already in this generation.
constexpr void	mark_seen (std::int32_t pc)
	Marks pc as present in the current generation.

Public Attributes
PcVec	pcs
	Live program counters, in priority order.
SlotVec	slots
	Flattened capture slots, parallel to pcs.
MarkVec	mark
	Per-pc generation stamp (see seen).
std::uint64_t	generation {}
	Current generation; bumped by reset.

Detailed Description

template<typename PcVec, typename SlotVec, typename MarkVec>
struct real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >

One priority-ordered list of NFA threads (leftmost-greedy semantics).

mark is generation-stamped so clearing the list between positions is O(1).

Template Parameters

PcVec	Container of program counters.
SlotVec	Flattened capture slots (pcs.size() * slot_count).
MarkVec	Per-pc generation marks for O(1) dedup.

Definition at line 182 of file pike.hpp.

Member Function Documentation

mark_seen()

template<typename PcVec , typename SlotVec , typename MarkVec >

constexpr void real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::mark_seen ( std::int32_t  pc )

inlineconstexpr

Marks pc as present in the current generation.

Parameters

[in]

pc

The program counter.

Definition at line 218 of file pike.hpp.

reset()

template<typename PcVec , typename SlotVec , typename MarkVec >

constexpr void real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::reset ( std::size_t  code_size )

inlineconstexpr

Clears the list in O(1) by bumping the generation.

Parameters

[in]

code_size

Number of instructions (sizes the mark table once).

Definition at line 193 of file pike.hpp.

seen()

template<typename PcVec , typename SlotVec , typename MarkVec >

constexpr bool real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::seen ( std::int32_t  pc ) const

inlineconstexpr

Returns true if pc is already in this generation.

Parameters

[in]

pc

A program counter.

Returns

true if pc is already in this generation.

Definition at line 209 of file pike.hpp.

Member Data Documentation

generation

template<typename PcVec , typename SlotVec , typename MarkVec >

std::uint64_t real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::generation {}

Current generation; bumped by reset.

Definition at line 187 of file pike.hpp.

mark

template<typename PcVec , typename SlotVec , typename MarkVec >

MarkVec real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::mark

Per-pc generation stamp (see seen).

Definition at line 186 of file pike.hpp.

pcs

template<typename PcVec , typename SlotVec , typename MarkVec >

PcVec real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::pcs

Live program counters, in priority order.

Definition at line 184 of file pike.hpp.

slots

template<typename PcVec , typename SlotVec , typename MarkVec >

SlotVec real::detail::basic_thread_list< PcVec, SlotVec, MarkVec >::slots

Flattened capture slots, parallel to pcs.

Definition at line 185 of file pike.hpp.

---

The documentation for this struct was generated from the following file:

• include/real/engine/pike.hpp