Struct lattices::semiring_application::BinaryTrust

pub struct BinaryTrust(/* private fields */);

Implementation of the Binary Trust semiring ({0,1}, OR, AND, False, True)

Implementations

impl BinaryTrust

pub fn new() -> Self

Create a new ‘Binary Trust’ semiring instance.

Trait Implementations

impl Addition<BinaryTrust> for BinaryTrust

Implementation of the addition trait for the Binary Trust semiring.

fn add(&mut self, other: BinaryTrust)

OR operation

fn add_owned(self, other: Self) -> Self

where Self: Sized,

Add this and delta together, returning the new value.

impl Debug for BinaryTrust

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

Formats the value using the given formatter.

impl Default for BinaryTrust

fn default() -> Self

Returns the “default value” for a type.

impl Multiplication<BinaryTrust> for BinaryTrust

Implementation of the multiplication trait for the Binary Trust semiring.

fn mul(&mut self, other: BinaryTrust)

AND operation

fn mul_owned(self, other: Self) -> Self

where Self: Sized,

Multiply this and delta together, returning the new value.

impl One<bool> for BinaryTrust

Implementation of Identity for multiplication.

fn one(&self) -> bool

True is the identity element for multiplication operation.

impl PartialEq for BinaryTrust

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

Implementation of Identity for addition.

fn zero(&self) -> bool

False is the identity element for addition operation.

impl StructuralPartialEq for BinaryTrust