Struct Relation 

pub struct Relation<A: Clone + Eq + Hash> {
    pub domain: Vec<A>,
    pub pairs: HashSet<(usize, usize)>,
}

Finite relation as a set of ordered pairs.

Fields

domain: Vec<A>

pairs: HashSet<(usize, usize)>

Implementations

impl<A: Clone + Eq + Hash> Relation<A>

pub fn new(domain: Vec<A>) -> Self

pub fn add_pair(&mut self, a: &A, b: &A)

pub fn contains(&self, a: &A, b: &A) -> bool

pub fn is_reflexive(&self) -> bool

pub fn is_symmetric(&self) -> bool

pub fn is_transitive(&self) -> bool

pub fn is_equivalence(&self) -> bool

pub fn is_antisymmetric(&self) -> bool

pub fn is_partial_order(&self) -> bool

pub fn equivalence_class(&self, a: &A) -> Vec<A>

Trait Implementations

impl<A: Clone + Clone + Eq + Hash> Clone for Relation<A>

fn clone(&self) -> Relation<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug + Clone + Eq + Hash> Debug for Relation<A>

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

Formats the value using the given formatter.