Struct ProgramDiagramState 

pub struct ProgramDiagramState { /* private fields */ }

Stateful diagram evaluation with lazy materialization of class spaces.

Implementations

impl ProgramDiagramState

pub fn from_program(program: &PersistenceProgram) -> Self

Copy a compiled program into stateful diagram evaluation.

pub fn diagram(&self) -> &Diagram

Current exact persistence diagram.

pub fn advance( &mut self, updated: &SparseDistanceMatrix, ) -> Result<ProgramDiagramUpdate>

Advance the state and return only the exact persistence diagram.

pub fn materialize(&mut self) -> Result<&ExplainedDiagram>

Materialize the current canonical class spaces and critical pairs.

pub fn into_program(self) -> Result<PersistenceProgram>

Materialize and consume this state as a normal persistence program.

This method consumes the state even when materialization returns an error. Call ProgramDiagramState::materialize when the state must remain available after a failed operation.

Trait Implementations

impl Clone for ProgramDiagramState

fn clone(&self) -> ProgramDiagramState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramDiagramState

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

Formats the value using the given formatter.