Struct BooleanAlgebra 

pub struct BooleanAlgebra {
    pub name: String,
    pub is_atomic: bool,
    pub is_complete: bool,
    pub cardinality_description: String,
}

Boolean algebra structure.

Fields

name: String

is_atomic: bool

is_complete: bool

cardinality_description: String

Implementations

impl BooleanAlgebra

pub fn power_set(set_name: &str) -> Self

pub fn finite(n: u32) -> Self

pub fn stone_representation(&self) -> String

pub fn is_representable(&self) -> bool

Trait Implementations

impl Clone for BooleanAlgebra

fn clone(&self) -> BooleanAlgebra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BooleanAlgebra

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

Formats the value using the given formatter.