Enum CombInline 

pub enum CombInline {
    Ref(String),
    Lit(u64),
    Add(String, String),
    Sub(String, String),
    And(String, String),
    Or(String, String),
    Xor(String, String),
    Eq(String, String),
    Mux {
        sel: String,
        t: String,
        f: String,
    },
}

Elaborate-time description of a combinational RHS (FR75 / Cap-R-55).

Produced by [ElaborateSession::inline_comb_fn] closures and immediately lowered to ordinary [AssignExpr] via existing assign_* APIs. Never stored as a Rust Fn in FrozenHir (NFR36). Also reusable as the RHS of SeqInline::Comb for sequential Reg.d inline (Cap-R-56).

Variants

Ref(String)

Copy from a named net / port / reg.

Lit(u64)

Integer literal.

Add(String, String)

Same-width add.

Sub(String, String)

Same-width subtract.

And(String, String)

Bitwise AND.

Or(String, String)

Bitwise OR.

Xor(String, String)

Bitwise XOR.

Eq(String, String)

Equality → 0/1 Bool.

Mux

2:1 mux (sel != 0 ? t : f).

Fields

sel: String

t: String

f: String

Trait Implementations

impl Clone for CombInline

fn clone(&self) -> CombInline

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CombInline

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

Formats the value using the given formatter.

impl Eq for CombInline

impl From<CombInline> for SeqInline

fn from(c: CombInline) -> Self

Converts to this type from the input type.

impl PartialEq for CombInline

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CombInline