Trait MutDblModel

pub trait MutDblModel: FgDblModel {
    // Required methods
    fn add_ob(&mut self, x: Self::ObGen, ob_type: Self::ObType) -> bool;
    fn make_mor(&mut self, f: Self::MorGen, mor_type: Self::MorType) -> bool;
    fn get_dom(&self, f: &Self::MorGen) -> Option<&Self::Ob>;
    fn get_cod(&self, f: &Self::MorGen) -> Option<&Self::Ob>;
    fn set_dom(&mut self, f: Self::MorGen, x: Self::Ob) -> Option<Self::Ob>;
    fn set_cod(&mut self, f: Self::MorGen, x: Self::Ob) -> Option<Self::Ob>;

    // Provided method
    fn add_mor(
        &mut self,
        f: Self::MorGen,
        dom: Self::Ob,
        cod: Self::Ob,
        mor_type: Self::MorType,
    ) -> bool { ... }
}

A mutable, finitely generated model of a double theory.

Required Methods

fn add_ob(&mut self, x: Self::ObGen, ob_type: Self::ObType) -> bool

Adds a basic object to the model.

fn make_mor(&mut self, f: Self::MorGen, mor_type: Self::MorType) -> bool

Adds a basic morphism to the model without setting its (co)domain.

fn get_dom(&self, f: &Self::MorGen) -> Option<&Self::Ob>

Gets the domain of a basic morphism, if it is set.

fn get_cod(&self, f: &Self::MorGen) -> Option<&Self::Ob>

Gets the codomain of a basic morphism, if it is set.

fn set_dom(&mut self, f: Self::MorGen, x: Self::Ob) -> Option<Self::Ob>

Sets the domain of a basic morphism.

fn set_cod(&mut self, f: Self::MorGen, x: Self::Ob) -> Option<Self::Ob>

Sets the codomain of a basic morphism.

Provided Methods

fn add_mor( &mut self, f: Self::MorGen, dom: Self::Ob, cod: Self::Ob, mor_type: Self::MorType, ) -> bool

Adds a basic morphism to the model.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Id, Cat> MutDblModel for DiscreteDblModel<Id, Cat>

where Id: Eq + Clone + Hash, Cat: FgCategory, Cat::Ob: Hash, Cat::Mor: Hash,

impl<Id, ThId, S> MutDblModel for DiscreteTabModel<Id, ThId, S>

where Id: Eq + Clone + Hash, ThId: Eq + Clone + Hash, S: BuildHasher,