Struct GeometryBoundCoverageArtifact 

pub struct GeometryBoundCoverageArtifact { /* private fields */ }

Coverage synthesis proof bound to checked finite planar geometry.

Implementations

impl GeometryBoundCoverageArtifact

pub fn build( coverage: CoverageSynthesisArtifact, geometry: CoverageGeometry, coverage_limits: CoverageSynthesisLimits, geometry_limits: CoverageGeometryLimits, ) -> Result<Self>

Bind an existing coverage proof to checked state coordinates.

pub fn geometry(&self) -> &CoverageGeometry

Checked coordinates in state order.

pub fn coverage(&self) -> &CoverageSynthesisArtifact

Nested CoverageSynthesisArtifact.

pub fn digest(&self) -> &[u8; 32]

Content digest of the outer payload.

pub fn verify( &self, coverage_limits: CoverageSynthesisLimits, geometry_limits: CoverageGeometryLimits, ) -> Result<()>

Recheck geometry, coverage, optimality, and the outer binding.

pub fn encode( &self, coverage_limits: CoverageSynthesisLimits, geometry_limits: CoverageGeometryLimits, decode_limits: GeometryBoundCoverageDecodeLimits, ) -> Result<Vec<u8>>

Encode canonical HOLOSGEO version 1 bytes.

pub fn decode( bytes: &[u8], coverage_limits: CoverageSynthesisLimits, geometry_limits: CoverageGeometryLimits, decode_limits: GeometryBoundCoverageDecodeLimits, ) -> Result<Self>

Decode and verify canonical HOLOSGEO version 1 bytes.

Trait Implementations

impl Clone for GeometryBoundCoverageArtifact

fn clone(&self) -> GeometryBoundCoverageArtifact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GeometryBoundCoverageArtifact

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

Formats the value using the given formatter.