Struct UnitStack 

pub struct UnitStack<P: ValueWidthPolicy> { /* private fields */ }

A bounded LIFO stack measured in policy-defined logical units.

Implementations

impl<P: ValueWidthPolicy> UnitStack<P>

pub fn new(limit: WorkLimit) -> Self

Creates an empty stack using the control organ’s work-limit vocabulary.

pub fn depth(&self) -> usize

Returns the occupied logical depth.

pub fn is_empty(&self) -> bool

Returns whether the stack contains no values.

pub fn top(&self) -> Result<&P::Value, StackError>

Returns the top value without removing it.

pub fn visit_values(&self, visit: impl FnMut(&P::Value))

Visits operand values in deterministic bottom-to-top order.

pub fn push(&mut self, value: P::Value) -> Result<(), StackError>

Pushes a value if its complete logical width fits.

pub fn pop(&mut self) -> Result<P::Value, StackError>

Pops the top value and releases all logical units it occupied.

pub fn clear(&mut self)

Releases every value in deterministic LIFO order.