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>>),
    Ceil(Box<FloatExpr<V>>),
    Min(Box<(IntegerExpr<V>, IntegerExpr<V>)>),
    Max(Box<(IntegerExpr<V>, IntegerExpr<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

Ceil(Box<FloatExpr<V>>)

Ceil

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

Min of two values

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

Max of two values

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: Copy,

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: Option<&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> GetSize for IntegerExpr<V>

where V: Clone + GetSize,

fn get_heap_size(&self) -> usize

Determines how many bytes this object occupies inside the heap.

fn get_heap_size_with_tracker<TRACKER: GetSizeTracker>( &self, tracker: TRACKER, ) -> (usize, TRACKER)

Determines how many bytes this object occupies inside the heap while using a tracker.

fn get_stack_size() -> usize

Determines how may bytes this object occupies inside the stack.

fn get_size(&self) -> usize

Determines the total size of the object.

fn get_size_with_tracker<T>(&self, tracker: T) -> (usize, T)

where T: GetSizeTracker,

Determines the total size of the object while using a tracker.

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.