Type Alias DiscreteDblModelDiagram

pub type DiscreteDblModelDiagram = DblModelDiagram<DiscreteDblModelMapping, DiscreteDblModel>;

A diagram in a model of a discrete double theory.

Aliased Type

pub struct DiscreteDblModelDiagram(pub DiscreteDblModelMapping, pub DiscreteDblModel);

Tuple Fields

0: DiscreteDblModelMapping

1: DiscreteDblModel

Implementations

impl DiscreteDblModelDiagram

pub fn validate_in( &self, model: &DiscreteDblModel, ) -> Result<(), NonEmpty<InvalidDiscreteDblModelDiagram>>

Validates that the diagram is well-defined in the given model.

Assumes that the model is valid. If it is not, this function may panic.

pub fn iter_invalid_in<'a>( &'a self, model: &'a DiscreteDblModel, ) -> impl Iterator<Item = InvalidDiscreteDblModelDiagram> + 'a

Iterates over failures of the diagram to be valid in the given model.

pub fn infer_missing_from(&mut self, model: &DiscreteDblModel)

Infer missing data in the diagram from the model, where possible.

Assumes that the model is valid.