Struct ThreadLocalState 

pub struct ThreadLocalState {
    pub steps_count: AtomicU64,
    pub nodes_visited: AtomicU64,
    pub rewrites_applied: AtomicU64,
}

Per-thread telemetry for staged simplification.

Tracks three per-thread metrics (parallel_review §3.1):

• steps_count — total simplification rounds performed by this thread
• nodes_visited — total DAG nodes inspected during traversal
• rewrites_applied — total rewrite rules that fired (pattern matches)

The 128-byte repr(align) was removed: cache-line padding guards against false-sharing only when different threads write to adjacent memory. A thread_local! value lives in per-thread storage — no other thread can touch it — so over-alignment is pure waste.

Fields

steps_count: AtomicU64

Total simplification steps (one per run_staged_simplification round).

nodes_visited: AtomicU64

Total DAG nodes visited across all steps. Useful for throughput profiling.

rewrites_applied: AtomicU64

Total rewrite rules that fired. Non-zero means the expression changed.

Implementations

impl ThreadLocalState

pub const fn new() -> Self

Creates a new instance with all counters at zero.

pub fn increment(&self)

Increments the simplification-step counter.

pub fn get_count(&self) -> u64

Retrieves the simplification-step count.

pub fn record_nodes_visited(&self, n: u64)

Records that n additional DAG nodes were visited.

pub fn record_rewrites(&self, n: u64)

Records that n rewrite rules fired.

pub fn get_nodes_visited(&self) -> u64

Returns the total number of nodes visited.

pub fn get_rewrites_applied(&self) -> u64

Returns the total number of rewrites applied.

pub fn reset(&self)

Resets all counters to zero.

Trait Implementations

impl Debug for ThreadLocalState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ThreadLocalState

fn default() -> Self

Returns the “default value” for a type.