Enum Expr

pub enum Expr {
    Const(ConstValue),
    Var(i64),
    Op1(&'static Op1Enum, &'static Expr),
    Op2(&'static Op2Enum, &'static Expr, &'static Expr),
    Op3(&'static Op3Enum, &'static Expr, &'static Expr, &'static Expr),
}

Expressions, statically referenced.

These expressions include constants, variables, and operations, each of which is encapsulated in the Expr enum. Constants are represented by the Const variant, holding a ConstValue. Variables are stored as a 64-bit integer with the Var variant. Operations are categorized into unary, binary, and ternary, represented by Op1, Op2, and Op3 respectively, each associated with an operation enumeration and the relevant sub-expressions.

The enum variants include formatting annotations used in debugging to display the expressions in a readable format, enhancing the ability to trace and verify expression states during execution. These representations ensure the flexibility and power required for manipulating and evaluating expressions within the synthesis tasks.

Variants

Const(ConstValue)

Var(i64)

Op1(&'static Op1Enum, &'static Expr)

Op2(&'static Op2Enum, &'static Expr, &'static Expr)

Op3(&'static Op3Enum, &'static Expr, &'static Expr, &'static Expr)

Implementations

impl Expr

pub fn parse( pair: Pair<'_, Rule>, sig: Option<&FunSig>, ) -> Result<&'static Expr, Error>

Parses an expression from a parsed Pair using an optional function signature and returns a static lifetime reference to an Expr, or an error.

impl Expr

pub fn eval(&self, ctx: &Context) -> Value

Evaluates the expression within a given context to produce a Value.

pub fn cost(&self) -> usize

Calculates the cost of an expression.

pub fn contains(&self, other: &Expr) -> bool

Determines whether an expression contains another expression.

pub fn format(&self, sig: &FunSig) -> String

Formats an expression into a string representation.

pub fn ite(&'static self, t: &'static Expr, f: &'static Expr) -> &'static Expr

Construct a ternary expression that represents an if-then-else operation within the context of the Expr enum.

pub fn to_expression(&self) -> Expression

Converts an Expr into an Expression.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl From<&'static Expr> for ConstValue

fn from(original: &'static Expr) -> ConstValue

Converts to this type from the input type.

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