Struct ConfluenceReport 

pub struct ConfluenceReport {
    pub critical_pairs: Vec<CriticalPair>,
    pub joinable_count: usize,
    pub non_joinable_count: usize,
    pub is_locally_confluent: bool,
    pub is_terminating: bool,
}

Result of confluence analysis.

Fields

critical_pairs: Vec<CriticalPair>

All critical pairs found

joinable_count: usize

Number of joinable critical pairs

non_joinable_count: usize

Number of non-joinable critical pairs

is_locally_confluent: bool

Whether the system is locally confluent

is_terminating: bool

Whether termination was verified

Implementations

impl ConfluenceReport

pub fn new() -> Self

Create a new confluence report.

pub fn is_confluent(&self) -> bool

Check if the system is globally confluent (by Newman’s lemma).

Newman’s lemma: A terminating system is confluent iff it is locally confluent.

pub fn summary(&self) -> String

Get a summary string.

Trait Implementations

impl Clone for ConfluenceReport

fn clone(&self) -> ConfluenceReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConfluenceReport

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

Formats the value using the given formatter.

impl Default for ConfluenceReport

fn default() -> Self

Returns the “default value” for a type.