Struct RelationAlgebra 

pub struct RelationAlgebra {
    pub name: String,
    pub is_representable: bool,
    pub is_simple: bool,
}

Tarski’s characterization of representable relation algebras.

Fields

name: String

is_representable: bool

is_simple: bool

Implementations

impl RelationAlgebra

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

pub fn operators_description(&self) -> String

pub fn representable_iff_field_of_sets(&self) -> bool

Trait Implementations

impl Clone for RelationAlgebra

fn clone(&self) -> RelationAlgebra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelationAlgebra

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

Formats the value using the given formatter.