Struct QuotientDescription 

pub struct QuotientDescription {
    pub base_name: String,
    pub relation_name: String,
    pub finite_model_size: Option<usize>,
}

Description of a quotient type for display purposes.

Fields

base_name: String

Display name of the base type.

relation_name: String

Display name of the relation.

finite_model_size: Option<usize>

Number of elements in a finite model (if known).

Implementations

impl QuotientDescription

pub fn new( base_name: impl Into<String>, relation_name: impl Into<String>, ) -> Self

Create a description.

pub fn with_model_size(self, n: usize) -> Self

Set the finite model size.

pub fn display(&self) -> String

Return a human-readable summary.