Enum Expr 

pub enum Expr {
    Num(u16),
    Var(NodeId),
    Add(Id, Id),
    Sub(Id, Id),
    Max(Id, Id),
    Min(Id, Id),
    Div(Id, Id),
    Mul(Id, Id),
    Clamp {
        min: Id,
        max: Id,
        val: Id,
    },
    HFlex(Vec<Id>),
    VFlex(Vec<Id>),
    Fill(Id),
}

A layout expression in the e-graph.

Expressions form an AST that encodes layout constraint arithmetic and container relationships. Each expression node is identified by an Id in the e-graph.

Variants

Num(u16)

A concrete pixel/cell value.

Var(NodeId)

A reference to a widget’s size.

Add(Id, Id)

Addition: a + b.

Sub(Id, Id)

Subtraction: a - b.

Max(Id, Id)

Maximum: max(a, b).

Min(Id, Id)

Minimum: min(a, b).

Div(Id, Id)

Division: a / b.

Mul(Id, Id)

Multiplication: a * b.

Clamp

Clamp value between min and max.

Fields

min: Id

max: Id

val: Id

HFlex(Vec<Id>)

Horizontal flex container with children.

VFlex(Vec<Id>)

Vertical flex container with children.

Fill(Id)

Fill remaining space in container.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Hash for Expr

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 Expr

fn eq(&self, other: &Expr) -> 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 Expr

impl StructuralPartialEq for Expr