Enum Expr 

pub enum Expr {
    Var(VarId),
    Const(u64),
    Not(Box<Expr>),
    Scale(u64, Box<Expr>),
    And(Vec<Expr>),
    Or(Vec<Expr>),
    Xor(Vec<Expr>),
    Add(Vec<Expr>),
    Mul(Vec<Expr>),
}

A Mixed Boolean-Arithmetic expression tree.

Variants

Var(VarId)

A variable, referenced by its VarId.

Const(u64)

A constant value.

Not(Box<Expr>)

Bitwise complement (~e).

Scale(u64, Box<Expr>)

Multiplication of an expression by a constant coefficient.

And(Vec<Expr>)

Bitwise AND of all operands.

Or(Vec<Expr>)

Bitwise OR of all operands.

Xor(Vec<Expr>)

Bitwise XOR of all operands.

Add(Vec<Expr>)

Arithmetic sum of all operands.

Mul(Vec<Expr>)

Arithmetic product of all operands.

Implementations

impl Expr

pub fn make_const(c: u64) -> Self

Builds a constant expression from c.

pub const fn zero() -> Self

An null expression

pub fn size(&self) -> usize

Counts the number of nodes in the expression

pub fn eval(&self, vars: &[u64], n: u8) -> u64

Evaluates the expression for the given variable values on n bits.

pub fn sem_equal( &self, other: &Expr, n: u8, samples: usize, ) -> Result<(), (Vec<u64>, u64, u64)>

Checks, by random sampling on n bits, whether two expressions are semantically equal. On a counterexample returns the sampled variable values and the two differing evaluations.

pub fn truth_table(&self, t: usize, n: u8) -> Vec<u64>

The truth table of this expression over its first t variables on n bits (one entry per assignment of the t variables to 0/1).

pub fn get_vars(&self) -> HashSet<VarId>

Counts the number of variables in the expression

pub fn repr(&self, n: u8, hex: bool, latex: bool) -> String

A string representation of this expression on n bits.

pub fn is_bitwise(&self) -> bool

Whether this expression is purely bitwise (no arithmetic operators).

pub fn variables_in(&self, allowed_vars: &Vec<usize>) -> bool

Whether every variable in this expression is contained in allowed_vars.

impl Expr

pub fn reduce(self, n: u8) -> Self

Canonicalizes the expression on n bits (constant folding, flattening and normalization), without attempting MBA simplification.

Trait Implementations

impl Add for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl BitAnd for Expr

type Output = Expr

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr for Expr

type Output = Expr

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl BitXor for Expr

type Output = Expr

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl Clone for Expr

fn clone(&self) -> Self

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 Display for Expr

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

Formats the value using the given formatter.

impl Eq for Expr

impl From<u64> for Expr

fn from(value: u64) -> Self

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 Mul for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl Mul<Expr> for u64

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Self::Output

Performs the * operation.

impl Neg for Expr

type Output = Expr

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for Expr

type Output = Expr

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Ord for Expr

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Expr

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Expr

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for Expr

impl Sub for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.