Struct DistributiveLattice 

pub struct DistributiveLattice {
    pub name: String,
    pub is_finite: bool,
}

Distributive lattice (Birkhoff representation).

Fields

name: String

is_finite: bool

Implementations

impl DistributiveLattice

pub fn new(name: &str, finite: bool) -> Self

pub fn birkhoff_representation(&self) -> String

Trait Implementations

impl Clone for DistributiveLattice

fn clone(&self) -> DistributiveLattice

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DistributiveLattice

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

Formats the value using the given formatter.