Struct StatePlan 

pub struct StatePlan {
    pub terms: Vec<StateTerm>,
}

2026-09-30: Every state of a circuit, sized.

Fields

terms: Vec<StateTerm>

Implementations

impl StatePlan

pub fn new( states: &[StateDecl], inputs: &StateInputs, ) -> Result<Self, StateError>

2026-09-30: Size every state of states (a circuit’s Circuit::states, or the declarations of one block) under inputs. 2026-10-02: Cache kinds (StateKind::is_cache) are left out: memory::caches sizes them.

pub fn bytes_where(&self, keep: impl Fn(&StateTerm) -> bool) -> u64

2026-09-30: Total bytes of the terms keep selects.

pub fn bytes(&self) -> u64

2026-09-30: Total bytes.

Trait Implementations

impl Clone for StatePlan

fn clone(&self) -> StatePlan

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StatePlan

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

Formats the value using the given formatter.

impl PartialEq for StatePlan

fn eq(&self, other: &StatePlan) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StatePlan

impl StructuralPartialEq for StatePlan