Struct HolonomyChecker 

pub struct HolonomyChecker { /* private fields */ }

Holonomy checker for incremental verification.

Allows building up cycles incrementally and checking holonomy at each step.

Implementations

impl HolonomyChecker

pub fn new(tolerance: f64) -> Self

Create a new holonomy checker.

Arguments

• tolerance - Tolerance for identity check (default: 1e-6)

pub fn default_tolerance() -> Self

Create a checker with default tolerance.

pub fn apply(&mut self, rotation: &RotationMatrix)

Apply a transformation step.

pub fn check_partial(&self) -> HolonomyResult

Check current holonomy without closing the cycle.

pub fn check_closed(&self) -> HolonomyResult

Close the cycle and check holonomy.

This applies the inverse transformation to return to the start.

pub fn reset(&mut self)

Reset to initial state.

pub fn step_count(&self) -> usize

Get the number of steps applied.

Trait Implementations

impl Clone for HolonomyChecker

fn clone(&self) -> HolonomyChecker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HolonomyChecker

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

Formats the value using the given formatter.