Struct DiscreteInstanceTerm 

pub struct DiscreteInstanceTerm {
    pub path: QualifiedPath,
    pub base: QualifiedName,
}

A term in an instance of a discrete double model: a model morphism applied to a single instance generator.

Composition of model morphisms is reflected inside path itself, not by nesting term constructors, so every term has the flat canonical shape path(base). When path is the identity, the term denotes base directly; its Id vertex must agree with the fiber of base in the surrounding instance.

Fields

path: QualifiedPath

Model morphism applied to base.

base: QualifiedName

The instance generator at the root of the term.

Trait Implementations

impl Clone for DiscreteInstanceTerm

fn clone(&self) -> DiscreteInstanceTerm

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DiscreteInstanceTerm

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl InstanceTerm for DiscreteInstanceTerm

type Mor = Path<QualifiedName, QualifiedName>

The type of morphisms from the associated model.

impl PartialEq for DiscreteInstanceTerm

fn eq(&self, other: &DiscreteInstanceTerm) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for DiscreteInstanceTerm

impl StructuralPartialEq for DiscreteInstanceTerm