Trait MutDblModel

pub trait MutDblModel: FgDblModel {
    // Required methods
    fn add_ob(&mut self, x: Self::ObGen, ob_type: Self::ObType);
    fn make_mor(&mut self, f: Self::MorGen, mor_type: Self::MorType);
    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);
    fn set_cod(&mut self, f: Self::MorGen, x: Self::Ob);

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

A mutable, finitely generated model of a double theory.

Required Methods

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

Adds a basic object to the model.

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

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)

Sets the domain of a basic morphism.

fn set_cod(&mut self, f: Self::MorGen, x: 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, )

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,