Struct CudaEGraphStructuralCanonicalizationFixedPointResult 

pub struct CudaEGraphStructuralCanonicalizationFixedPointResult {
    pub rounds: Vec<CudaEGraphStructuralCanonicalizationRoundResult>,
    pub final_snapshot: CudaEGraphResidentColumnSnapshot,
    pub converged: bool,
    pub max_rounds: usize,
    pub total_discovered_pairs: u64,
    pub total_rewrites: u64,
}

Result for iterative CUDA-resident e-graph canonicalization.

Fields

rounds: Vec<CudaEGraphStructuralCanonicalizationRoundResult>

Rounds executed, including the final no-op round when convergence is proven before max_rounds.

final_snapshot: CudaEGraphResidentColumnSnapshot

Resident columns after the last executed round.

converged: bool

true iff a no-op discovery round proved fixed-point convergence.

max_rounds: usize

Maximum number of rounds requested by the caller.

total_discovered_pairs: u64

Total unique equivalence pairs discovered across all rounds.

total_rewrites: u64

Total canonical rewrite records applied across all rounds.

Trait Implementations

impl Clone for CudaEGraphStructuralCanonicalizationFixedPointResult

fn clone(&self) -> CudaEGraphStructuralCanonicalizationFixedPointResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CudaEGraphStructuralCanonicalizationFixedPointResult

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

Formats the value using the given formatter.

impl PartialEq for CudaEGraphStructuralCanonicalizationFixedPointResult

fn eq( &self, other: &CudaEGraphStructuralCanonicalizationFixedPointResult, ) -> 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 CudaEGraphStructuralCanonicalizationFixedPointResult

impl StructuralPartialEq for CudaEGraphStructuralCanonicalizationFixedPointResult