Enum Kind 

pub enum Kind {
    Constant(u64),
    Variable(u32),
    Add,
    Mul,
    And,
    Or,
    Xor,
    Not,
    Neg,
    Shr(u32),
    ZExt(u32),
    SExt(u32),
    Trunc(u32),
    Concat,
}

Node kind. Variants that carry payload (Constant, Variable, Shr) store it inline instead of in a side channel on the struct.

Variants

Constant(u64)

Variable(u32)

Add

Mul

And

Or

Xor

Not

Neg

Shr(u32)

Logical shift right. The shift amount is pinned here; >= 64 yields 0

ZExt(u32)

Zero-extend the child to w bits. Result width = w (the payload).

SExt(u32)

Sign-extend the child to w bits. Result width = w (the payload).

Trunc(u32)

Truncate the child to w low bits. Result width = w (the payload).

Concat

Bit concatenation. Result width = w(child0) + w(child1); child0 is the high part, child1 the low part.

Implementations

impl Kind

pub const fn arity(&self) -> usize

Number of children a node of this kind must have.

Trait Implementations

impl Clone for Kind

fn clone(&self) -> Kind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Kind

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

Formats the value using the given formatter.

impl Eq for Kind

impl Hash for Kind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Kind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Kind