Enum NaturalExpr 

pub enum NaturalExpr<V>
where
    V: Clone,
{
    Const(Natural),
    Var(V),
    Rand(Box<(NaturalExpr<V>, NaturalExpr<V>)>),
    Sum(Vec<NaturalExpr<V>>),
    Product(Vec<NaturalExpr<V>>),
    Rem(Box<(NaturalExpr<V>, NaturalExpr<V>)>),
    Div(Box<(NaturalExpr<V>, NaturalExpr<V>)>),
    Abs(Box<IntegerExpr<V>>),
    Ite(Box<(BooleanExpr<V>, NaturalExpr<V>, NaturalExpr<V>)>),
}

A Natural number expression

Variants

Const(Natural)

A constant value.

Var(V)

A typed variable.

Rand(Box<(NaturalExpr<V>, NaturalExpr<V>)>)

A random integer between a lower bound (included) and an upper bound (excluded).

Sum(Vec<NaturalExpr<V>>)

Arithmetic n-ary sum.

Product(Vec<NaturalExpr<V>>)

Arithmetic n-ary multiplication.

Rem(Box<(NaturalExpr<V>, NaturalExpr<V>)>)

Mod operation

Div(Box<(NaturalExpr<V>, NaturalExpr<V>)>)

Div operation

Abs(Box<IntegerExpr<V>>)

Abs

Ite(Box<(BooleanExpr<V>, NaturalExpr<V>, NaturalExpr<V>)>)

If-Then-Else construct, where If must be a boolean expression, Then and Else must have the same type, and this is also the type of the whole expression.

Implementations

impl<V> NaturalExpr<V>

where V: Clone,

pub fn is_constant(&self) -> bool

Returns true if the expression is constant, i.e., it contains no variables, and false otherwise.

pub fn eval<R: Rng>(&self, vars: &dyn Fn(&V) -> Val, rng: &mut R) -> Natural

Returns the Natural value computed from the expression, given the variable evaluation. It panics if the evaluation is not possible, including:

• If a variable is not included in the evaluation;
• If a variable included in the evaluation is not of Natural type;
• Division by 0;
• Overflow.

Trait Implementations

impl<V> Add for NaturalExpr<V>

where V: Clone,

type Output = NaturalExpr<V>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<V> Clone for NaturalExpr<V>

where V: Clone + Clone,

fn clone(&self) -> NaturalExpr<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V> Debug for NaturalExpr<V>

where V: Clone + Debug,

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

Formats the value using the given formatter.

impl<V> Div for NaturalExpr<V>

where V: Clone,

type Output = NaturalExpr<V>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<V> From<NaturalExpr<V>> for FloatExpr<V>

where V: Clone,

fn from(value: NaturalExpr<V>) -> Self

Converts to this type from the input type.

impl<V> From<NaturalExpr<V>> for IntegerExpr<V>

where V: Clone,

fn from(value: NaturalExpr<V>) -> Self

Converts to this type from the input type.

impl<V: Clone> From<u64> for NaturalExpr<V>

fn from(value: Natural) -> Self

Converts to this type from the input type.

impl<V> Mul for NaturalExpr<V>

where V: Clone,

type Output = NaturalExpr<V>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<V> Rem for NaturalExpr<V>

where V: Clone,

type Output = NaturalExpr<V>

The resulting type after applying the % operator.

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

Performs the % operation.

impl<V> TryFrom<Expression<V>> for NaturalExpr<V>

where V: Clone,

type Error = TypeError

The type returned in the event of a conversion error.

fn try_from(value: Expression<V>) -> Result<Self, Self::Error>

Performs the conversion.