Trait DblModelMapping

pub trait DblModelMapping {
    type DomOb: Eq + Clone;
    type DomMor: Eq + Clone;
    type CodOb: Eq + Clone;
    type CodMor: Eq + Clone;

    // Required methods
    fn apply_ob(&self, x: &Self::DomOb) -> Option<Self::CodOb>;
    fn apply_mor(&self, m: &Self::DomMor) -> Option<Self::CodMor>;

    // Provided methods
    fn is_ob_assigned(&self, x: &Self::DomOb) -> bool { ... }
    fn is_mor_assigned(&self, m: &Self::DomMor) -> bool { ... }
}

A mapping between models of a double theory.

Analogous to a mapping between sets or graphs, a model mapping is a morphism between models of a double theory without specified domain or codomain models.

Required Associated Types

type DomOb: Eq + Clone

Type of objects in the domain model.

type DomMor: Eq + Clone

Type of morphisms in the domain model.

type CodOb: Eq + Clone

Type of objects in the codomain model.

type CodMor: Eq + Clone

Type of morphisms in the codomain model.

Required Methods

fn apply_ob(&self, x: &Self::DomOb) -> Option<Self::CodOb>

Applies the mapping to an object in the domain model.

fn apply_mor(&self, m: &Self::DomMor) -> Option<Self::CodMor>

Applies the mapping to a morphism in the domain model.

Provided Methods

fn is_ob_assigned(&self, x: &Self::DomOb) -> bool

Is the mapping defined at an object?

fn is_mor_assigned(&self, m: &Self::DomMor) -> bool

Is the mapping defined at a morphism?

Implementors

impl<DomId, CodId> DblModelMapping for DiscreteDblModelMapping<DomId, CodId>

where DomId: Clone + Eq + Hash, CodId: Clone + Eq + Hash,

type DomOb = DomId

type DomMor = Path<DomId, DomId>

type CodOb = CodId

type CodMor = Path<CodId, CodId>