Struct DummySemiring 

pub struct DummySemiring;

A dummy type implementing FixedSemiring trait. Used for ConstraintCounter to have something that implements FixedSemiring but has zero-cost operations. Can be used in other contexts where operations on expression should be ignored.

Trait Implementations

impl Add<&DummySemiring> for DummySemiring

type Output = DummySemiring

The resulting type after applying the + operator.

fn add(self, _rhs: &DummySemiring) -> Self::Output

Performs the + operation.

impl Add for DummySemiring

type Output = DummySemiring

The resulting type after applying the + operator.

fn add(self, _rhs: DummySemiring) -> Self::Output

Performs the + operation.

impl AddAssign<&DummySemiring> for DummySemiring

fn add_assign(&mut self, _rhs: &DummySemiring)

Performs the += operation.

impl AddAssign for DummySemiring

fn add_assign(&mut self, _rhs: DummySemiring)

Performs the += operation.

impl CheckedAdd for DummySemiring

fn checked_add(&self, _rhs: &Self) -> Option<Self>

Adds two numbers, checking for overflow. If overflow happens, None is returned.

impl CheckedMul for DummySemiring

fn checked_mul(&self, _rhs: &Self) -> Option<Self>

Multiplies two numbers, checking for underflow or overflow. If underflow or overflow happens, None is returned.

impl CheckedSub for DummySemiring

fn checked_sub(&self, _rhs: &Self) -> Option<Self>

Subtracts two numbers, checking for underflow. If underflow happens, None is returned.

impl Clone for DummySemiring

fn clone(&self) -> DummySemiring

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConstOne for DummySemiring

const ONE: Self = DummySemiring

The multiplicative identity element of Self, 1.

impl ConstZero for DummySemiring

const ZERO: Self = DummySemiring

The additive identity element of Self, 0.

impl Debug for DummySemiring

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

Formats the value using the given formatter.

impl Default for DummySemiring

fn default() -> DummySemiring

Returns the “default value” for a type.

impl Display for DummySemiring

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

Formats the value using the given formatter.

impl<T> FromRef<T> for DummySemiring

fn from_ref(_value: &T) -> Self

impl Hash for DummySemiring

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<I: Ideal> IdealCheck<DummySemiring> for IdealOrZero<I>

fn contains(&self, _value: &DummySemiring) -> Result<bool, IdealCheckError>

Returns true if an element of the type belongs to this ideal.

impl Mul<&DummySemiring> for DummySemiring

type Output = DummySemiring

The resulting type after applying the * operator.

fn mul(self, _rhs: &DummySemiring) -> Self::Output

Performs the * operation.

impl Mul for DummySemiring

type Output = DummySemiring

The resulting type after applying the * operator.

fn mul(self, _rhs: DummySemiring) -> Self::Output

Performs the * operation.

impl MulAssign<&DummySemiring> for DummySemiring

fn mul_assign(&mut self, _rhs: &DummySemiring)

Performs the *= operation.

impl MulAssign for DummySemiring

fn mul_assign(&mut self, _rhs: DummySemiring)

Performs the *= operation.

impl<T> MulByScalar<&T> for DummySemiring

fn mul_by_scalar<const CHECKED: bool>(&self, _rhs: &T) -> Option<Self>

Multiplies the current element by a scalar from the right (usually - a coefficient to obtain a linear combination). Returns None if the multiplication would overflow.

impl One for DummySemiring

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

where Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

impl PartialEq for DummySemiring

fn eq(&self, other: &DummySemiring) -> 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<'a> Product<&'a DummySemiring> for DummySemiring

fn product<I: Iterator<Item = &'a DummySemiring>>(_iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Product for DummySemiring

fn product<I: Iterator<Item = Self>>(_iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Sub<&DummySemiring> for DummySemiring

type Output = DummySemiring

The resulting type after applying the - operator.

fn sub(self, _rhs: &DummySemiring) -> Self::Output

Performs the - operation.

impl Sub for DummySemiring

type Output = DummySemiring

The resulting type after applying the - operator.

fn sub(self, _rhs: DummySemiring) -> Self::Output

Performs the - operation.

impl SubAssign<&DummySemiring> for DummySemiring

fn sub_assign(&mut self, _rhs: &DummySemiring)

Performs the -= operation.

impl SubAssign for DummySemiring

fn sub_assign(&mut self, _rhs: DummySemiring)

Performs the -= operation.

impl<'a> Sum<&'a DummySemiring> for DummySemiring

fn sum<I: Iterator<Item = &'a DummySemiring>>(_iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Sum for DummySemiring

fn sum<I: Iterator<Item = Self>>(_iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Zero for DummySemiring

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl Copy for DummySemiring

impl Eq for DummySemiring

impl Semiring for DummySemiring

impl StructuralPartialEq for DummySemiring