Struct Expr

pub struct Expr<'a> { /* private fields */ }

The expression used in computations. Non-owned version of Expression.

Implementations

impl Expr<'_>

pub const fn const_default() -> Self

A default expression, which is the identity function.

pub const fn const_default_ref() -> &'static Self

A reference to the default expression, which is the identity function.

impl<'a> Expr<'a>

pub const fn count_holes(&self) -> usize

Counts the number of Op::Holes in the expression.

pub const fn new(ops: &'a [Op]) -> Self

Creates a new expression from the provided operations.

pub fn to_owned(&self) -> Expression

Casts the expression to an owned expression.

pub fn evaluate(&self, args: &[i128]) -> i128

Evaluates the expression using the given arguments. Returns the result of the computation as an i128.

pub fn evaluate_indirect(&self, all_args: &[i128], mapping: &[u16]) -> i128

Evaluates the expression using the given arguments. Returns the result of the computation as an i128.

Performs a lookup in mapping to figure out which index in all_args should be used for an argument. For an argument N, all_args[mapping[N] as usize] is used.

pub fn evaluate_indirect_as_u64( &self, all_args: &[i128], mapping: &[u16], ) -> u64

Evaluates the expression using the given arguments. The expression produces an i128, which is then cast to an u64 and returned.

This can be faster if the fast_eval field is set. This allows the compiler to eliminate i128 computations all together in some cases.

Performs a lookup in mapping to figure out which index in all_args should be used for an argument. For an argument N, all_args[mapping[N] as usize] is used.

pub fn evaluate_indirect_as_bool( &self, all_args: &[i128], mapping: &[u16], ) -> bool

Evaluates the expression using the given arguments. The expression produces an i128, which is then cast to a bool and returned.

This can be faster if the fast_eval field is set. This allows the compiler to eliminate i128 computations all together in some cases.

Performs a lookup in mapping to figure out which index in all_args should be used for an argument. For an argument N, all_args[mapping[N] as usize] is used.

pub fn ops(&self) -> &[Op]

Returns the operations in this expression

pub fn display<'r, S: AsRef<str> + 'r, C: Index<usize, Output = S> + 'r>( &self, hole_names: C, ) -> impl Display + Debug + 'r

where 'a: 'r,

Returns a type that can be displayed as an expression. Fills in holes with the strings in hole_names.

Trait Implementations

impl<'a> Clone for Expr<'a>

fn clone(&self) -> Expr<'a>

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, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for &'static Expr<'_>

fn default() -> Self

Returns the “default value” for a type.

impl Default for Expr<'_>

fn default() -> Self

Returns the “default value” for a type.

impl<'a> From<&'a [Op]> for Expr<'a>

fn from(ops: &'a [Op]) -> Self

Converts to this type from the input type.

impl<'a, const N: usize> From<&'a [Op; N]> for Expr<'a>

fn from(ops: &'a [Op; N]) -> Self

Converts to this type from the input type.

impl PartialEq for Expr<'_>

fn eq(&self, other: &Self) -> 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<'a> Copy for Expr<'a>