Enum NoDivIntegerExpr 

pub enum NoDivIntegerExpr<T: Atomic> {
    Atom(T),
    Frac(Fraction),
    Param(Parameter),
    BinaryExpr(Box<NoDivIntegerExpr<T>>, NoDivIntegerOp, Box<NoDivIntegerExpr<T>>),
}

Integer expression without division operators

Variants

Atom(T)

Atom of type T

Frac(Fraction)

Constant fraction

Param(Parameter)

Parameter

BinaryExpr(Box<NoDivIntegerExpr<T>>, NoDivIntegerOp, Box<NoDivIntegerExpr<T>>)

Integer expression combining two integer expressions through an arithmetic operator

Implementations

impl<T: Atomic> NoDivIntegerExpr<T>

pub fn split_into_factor_pairs( self, ) -> Result<LinearIntegerExpr<T>, ConstraintRewriteError>

Split the expression into pairs of factors and an atom / parameter or constant

fn collect_pairs(self) -> Result<Vec<AtomFactorPair<T>>, ConstraintRewriteError>

pub fn try_to_fraction(self) -> Option<Fraction>

Try to convert the expression to a fraction

Trait Implementations

impl<T: Clone + Atomic> Clone for NoDivIntegerExpr<T>

fn clone(&self) -> NoDivIntegerExpr<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Atomic> Debug for NoDivIntegerExpr<T>

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

Formats the value using the given formatter.

impl<T> Display for NoDivIntegerExpr<T>

where T: Atomic,

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

Formats the value using the given formatter.

impl<T: PartialEq + Atomic> PartialEq for NoDivIntegerExpr<T>

fn eq(&self, other: &NoDivIntegerExpr<T>) -> 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<T: Atomic> TryFrom<NoDivIntegerExpr<T>> for LinearIntegerExpr<T>

type Error = ConstraintRewriteError

The type returned in the event of a conversion error.

fn try_from(value: NoDivIntegerExpr<T>) -> Result<Self, Self::Error>

Performs the conversion.

impl<T: Atomic> TryFrom<NonMinusIntegerExpr<T>> for NoDivIntegerExpr<T>

type Error = ConstraintRewriteError

The type returned in the event of a conversion error.

fn try_from(value: NonMinusIntegerExpr<T>) -> Result<Self, Self::Error>

Performs the conversion.

impl<T: Atomic> StructuralPartialEq for NoDivIntegerExpr<T>