Enum IntegerExpr 

pub enum IntegerExpr<V>
where
    V: Clone,
{
    Const(Integer),
    Var(V),
    Nat(NaturalExpr<V>),
    Rand(Box<(IntegerExpr<V>, IntegerExpr<V>)>),
    Opposite(Box<IntegerExpr<V>>),
    Sum(Vec<IntegerExpr<V>>),
    Product(Vec<IntegerExpr<V>>),
    Div(Box<(IntegerExpr<V>, IntegerExpr<V>)>),
    Rem(Box<(IntegerExpr<V>, IntegerExpr<V>)>),
    Floor(Box<FloatExpr<V>>),
    Ite(Box<(BooleanExpr<V>, IntegerExpr<V>, IntegerExpr<V>)>),
}

Integer expressions.

Variants

Const(Integer)

A constant value.

Var(V)

A typed variable.

Nat(NaturalExpr<V>)

Conversion from Natural

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

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

Opposite(Box<IntegerExpr<V>>)

Opposite of a numerical expression.

Sum(Vec<IntegerExpr<V>>)

Arithmetic n-ary sum.

Product(Vec<IntegerExpr<V>>)

Arithmetic n-ary multiplication.

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

Div operation

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

Rem operation

Floor(Box<FloatExpr<V>>)

Floor

Ite(Box<(BooleanExpr<V>, IntegerExpr<V>, IntegerExpr<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> IntegerExpr<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) -> Integer

Returns the Integer 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 Integer type;
• Division by 0;
• Overflow.

Trait Implementations

impl<V> Add for IntegerExpr<V>

where V: Clone,

type Output = IntegerExpr<V>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<V> Clone for IntegerExpr<V>

where V: Clone + Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V> Debug for IntegerExpr<V>

where V: Clone + Debug,

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

Formats the value using the given formatter.

impl<V> Div for IntegerExpr<V>

where V: Clone,

type Output = IntegerExpr<V>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<V> From<IntegerExpr<V>> for FloatExpr<V>

where V: Clone,

fn from(value: IntegerExpr<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> From<i64> for IntegerExpr<V>

where V: Clone,

fn from(value: Integer) -> Self

Converts to this type from the input type.

impl<V> Mul for IntegerExpr<V>

where V: Clone,

type Output = IntegerExpr<V>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<V> Neg for IntegerExpr<V>

where V: Clone,

type Output = IntegerExpr<V>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<V> TryFrom<Expression<V>> for IntegerExpr<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.