Enum Binary

pub enum Binary {
    Zero,
    One,
}

Binary

A zero-one data type used primarily for the cost in the artificial tableau.

Note that addition works like addition in the group GF(2).

See also the documentation in relp::algorithm::two_phase::tableau::kind::artificial::Cost.

Variants

Zero

One

Trait Implementations

impl Add<&Binary> for i128

type Output = i128

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for i16

type Output = i16

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for i32

type Output = i32

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for i64

type Output = i64

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for i8

type Output = i8

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for u128

type Output = u128

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for u16

type Output = u16

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for u32

type Output = u32

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for u64

type Output = u64

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Binary> for u8

type Output = u8

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for i128

type Output = i128

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for i16

type Output = i16

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for i32

type Output = i32

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for i64

type Output = i64

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for i8

type Output = i8

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for u128

type Output = u128

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for u16

type Output = u16

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for u32

type Output = u32

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for u64

type Output = u64

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Binary> for u8

type Output = u8

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add for Binary

type Output = Binary

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<&Binary> for i128

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for i16

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for i32

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for i64

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for i8

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for u128

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for u16

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for u32

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for u64

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl AddAssign<&Binary> for u8

fn add_assign(&mut self, rhs: &Binary)

Performs the += operation.

impl Clone for Binary

fn clone(&self) -> Binary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Binary

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

Formats the value using the given formatter.

impl Default for Binary

fn default() -> Self

Returns the “default value” for a type.

impl Display for Binary

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

Formats the value using the given formatter.

impl From<&Binary> for i128

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for i16

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for i32

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for i64

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for i8

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for u128

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for u16

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for u32

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for u64

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<&Binary> for u8

fn from(other: &Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for i128

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for i16

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for i32

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for i64

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for i8

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for u128

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for u16

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for u32

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for u64

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl From<Binary> for u8

fn from(other: Binary) -> Self

Converts to this type from the input type.

impl Mul<&Binary> for &i128

type Output = i128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &i16

type Output = i16

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &i32

type Output = i32

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &i64

type Output = i64

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &i8

type Output = i8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &u128

type Output = u128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &u16

type Output = u16

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &u32

type Output = u32

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &u64

type Output = u64

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for &u8

type Output = u8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for i128

type Output = i128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for i16

type Output = i16

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for i32

type Output = i32

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for i64

type Output = i64

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for i8

type Output = i8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for u128

type Output = u128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for u16

type Output = u16

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for u32

type Output = u32

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for u64

type Output = u64

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&Binary> for u8

type Output = u8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for i128

type Output = i128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for i16

type Output = i16

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for i32

type Output = i32

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for i64

type Output = i64

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for i8

type Output = i8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for u128

type Output = u128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for u16

type Output = u16

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for u32

type Output = u32

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for u64

type Output = u64

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Binary> for u8

type Output = u8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul for Binary

type Output = Binary

The resulting type after applying the * operator.

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

Performs the * operation.

impl NonZero for Binary

fn is_not_zero(&self) -> bool

Whether the value is not equal to zero.

impl One for Binary

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 Binary

fn eq(&self, other: &Binary) -> 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 Zero for Binary

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 Binary

impl Eq for Binary

impl StructuralPartialEq for Binary