Struct Stack

pub struct Stack<T>
where
    T: Cmov + Pod,
{ /* private fields */ }

Implements a stack with a fixed maximum size. The stack access pattern and size are oblivious. The stack is implemented as a linked list on top of NRORAM.

Invariants

• 1. The linked list of elements is in monotonic decreasing order of Ids.

Implementations

impl<T> Stack<T>

where T: Cmov + Pod + Default + Clone + Debug,

pub fn new(max_size: usize) -> Self

Creates a new stack.

pub fn maybe_push(&mut self, real: bool, value: T)

Pushes a new element on the stack if real is true. If real is false, the element is not pushed and the stack size is not incremented.

pub fn maybe_pop(&mut self, real: bool, out: &mut T)

Pops the top element from the stack if real is true. The popped element is returned in out. The stack size is decremented by 1 if real is true. If real is false, the element is not popped, the stack size is not decremented, and out is not modified.

Trait Implementations

impl<T> Debug for Stack<T>

where T: Cmov + Pod + Debug,

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

Formats the value using the given formatter.

impl<T> Length for Stack<T>

where T: Cmov + Pod,

fn len(&self) -> usize

Returns the length of the indexable.