Enum NextState 

pub enum NextState {
    Simple(BoundedExpr),
    Ite {
        cond: BoundedExpr,
        then_: Box<NextState>,
        else_: Box<NextState>,
    },
}

A next-state function: a direct expression, or a guarded if/else (from RTL reset/mux logic). Guards reference the current state and free inputs.

Variants

Simple(BoundedExpr)

Ite

Fields

cond: BoundedExpr

then_: Box<NextState>

else_: Box<NextState>

Trait Implementations

impl Clone for NextState

fn clone(&self) -> NextState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NextState

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

Formats the value using the given formatter.