holos-tda 0.9.0

Vietoris-Rips persistence and checked degree-Rips modules
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Coverage specification, action, and artifact data models.

#[path = "artifact_data.rs"]
mod artifact_data;
#[path = "specification.rs"]
mod specification;
#[path = "types.rs"]
mod types;

pub use artifact_data::CoverageSynthesisArtifact;
pub(super) use artifact_data::{
    BuiltCoverageProof, CoverageHeader, CoverageProducerWork, CoverageSearchData,
    CoverageSelectionData, CoverageWorkLimits, DecodedCoverageProof, DecodedCoverageSearch,
};
pub use specification::{
    CoverageSource, CoverageSpecification, CoverageState, CoverageSynthesisLimits,
};
pub(super) use specification::{FORMAT_MAX_PROOF_NODES, FORMAT_MAX_PROOF_TERMS};
pub(super) use types::EvaluationClaim;
pub use types::{
    CoverageAction, CoverageComponent, CoverageCounterexample, CoveragePlanEvaluation,
    CoverageSynthesisStatus,
};