Struct ExprComputation

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

A computation using an Expr. The result of the Expr is interpreted using an output encoding.

Implementations

impl ExprComputation<'_>

pub const fn const_default() -> Self

Returns a default identity function expression

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

Returns a reference to the expression returned by Self::const_default.

impl<'a> ExprComputation<'a>

pub const fn new( expr: Expr<'a>, output_encoding: OutputEncoding, output_type: IoType, ) -> ExprComputation<'a>

Creates a new computation using the provided Expr and output encoding.

pub fn expr(&self) -> Expr<'a>

Returns the underlying Expr of this computation.

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

Evaluates the computation with the provided (already interpreted) arguments, and returns an OwnedValue.

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

Evaluates the computation with the provided (already interpreted) arguments, and returns an OwnedValue.

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_as_bool_with_args_indirect( &self, all_args: &[i128], mapping: &[u16], ) -> bool

Evaluates the computation with the provided (already interpreted) arguments, and interprets the result as a boolean. A zero-result is interpreted as false, while all non-zero results are interpreted as true.

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 compare_eq_with_args(&self, args: &[i128], expected: Value<'_>) -> bool

Evaluates the computation with the provided (already interpreted) arguments, and compares the result with expected.

Returns true if the result is equal to expected, false otherwise.

pub fn compare_eq_with_args_indirect( &self, all_args: &[i128], mapping: &[u16], expected: Value<'_>, ) -> bool

Evaluates the computation with the provided (already interpreted) arguments, and compares the result with expected.

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.

Returns true if the result is equal to expected, false otherwise.

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

Evaluates the computation with the provided (already interpreted) arguments, and compares the result with expected. Uses a PreparedComparison for better performance.

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.

Returns true if the result is equal to expected, false otherwise.

pub fn output_encoding(&self) -> OutputEncoding

Returns the output encoding to which the i128 result of the computation is converted.

pub fn internal_output_type(&self) -> OutputType

Returns the optimized internal output type of the computation.

pub fn output_type(&self) -> IoType

Returns the output type of the computation.

Trait Implementations

impl<'a> Clone for ExprComputation<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ExprComputation<'a>

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

Formats the value using the given formatter.

impl Default for &ExprComputation<'_>

fn default() -> Self

Returns the “default value” for a type.

impl Default for ExprComputation<'_>

fn default() -> Self

Returns the “default value” for a type.

impl<'a> PartialEq for ExprComputation<'a>

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

impl<'a> StructuralPartialEq for ExprComputation<'a>