pub enum Binary {
Zero,
One,
}
Expand description
§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§
Trait Implementations§
source§impl AddAssign<&Binary> for i128
impl AddAssign<&Binary> for i128
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for i16
impl AddAssign<&Binary> for i16
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for i32
impl AddAssign<&Binary> for i32
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for i64
impl AddAssign<&Binary> for i64
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for i8
impl AddAssign<&Binary> for i8
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for u128
impl AddAssign<&Binary> for u128
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for u16
impl AddAssign<&Binary> for u16
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for u32
impl AddAssign<&Binary> for u32
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for u64
impl AddAssign<&Binary> for u64
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl AddAssign<&Binary> for u8
impl AddAssign<&Binary> for u8
source§fn add_assign(&mut self, rhs: &Binary)
fn add_assign(&mut self, rhs: &Binary)
Performs the
+=
operation. Read moresource§impl NonZero for Binary
impl NonZero for Binary
source§fn is_not_zero(&self) -> bool
fn is_not_zero(&self) -> bool
Whether the value is not equal to zero. Read more
source§impl PartialEq for Binary
impl PartialEq for Binary
impl Copy for Binary
impl Eq for Binary
impl StructuralPartialEq for Binary
Auto Trait Implementations§
impl RefUnwindSafe for Binary
impl Send for Binary
impl Sync for Binary
impl Unpin for Binary
impl UnwindSafe for Binary
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more