Type Alias InvalidDiscreteDblModelDiagram

pub type InvalidDiscreteDblModelDiagram = InvalidDblModelDiagram<InvalidDblModel, InvalidDblModelMorphism<QualifiedName, QualifiedName>>;

A failure to be valid in a diagram in a model of a discrete double theory.

Aliased Type

pub enum InvalidDiscreteDblModelDiagram {
    Dom(InvalidDblModel),
    Map(InvalidDblModelMorphism<QualifiedName, QualifiedName>),
}

Variants

Dom(InvalidDblModel)

Domain of the diagram is invalid.

Map(InvalidDblModelMorphism<QualifiedName, QualifiedName>)

Mapping underlying the diagram is invalid.