Struct CriticalPair 

pub struct CriticalPair {
    pub overlap: TLExpr,
    pub result1: TLExpr,
    pub result2: TLExpr,
    pub rule1_name: String,
    pub rule2_name: String,
    pub joinable: Option<bool>,
}

A critical pair representing a potential conflict between two rules.

Fields

overlap: TLExpr

The expression where the overlap occurs

result1: TLExpr

Result of applying the first rule

result2: TLExpr

Result of applying the second rule

rule1_name: String

Names of the rules involved

rule2_name: String

joinable: Option<bool>

Whether this critical pair is joinable

Implementations

impl CriticalPair

pub fn new( overlap: TLExpr, result1: TLExpr, result2: TLExpr, rule1_name: String, rule2_name: String, ) -> Self

Create a new critical pair.

pub fn is_trivially_joinable(&self) -> bool

Check if this critical pair is trivially joinable (results are equal).

pub fn has_conflict(&self) -> bool

Check if the results are syntactically different.

Trait Implementations

impl Clone for CriticalPair

fn clone(&self) -> CriticalPair

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CriticalPair

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

Formats the value using the given formatter.