omena-abstract-value 0.3.0

Abstract class value domain and selector projection contracts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

//! Abstract class-value and property-value domains for Omena product analysis.
//!
//! claim_level: product-wired class-value, selector-projection, provenance, and
//! reduced-product substrate; cascade-family remains research-staged and this is
//! not a completed abstract-interpretation theorem.

mod algebra;
mod automaton;
mod cascade_family;
mod domain;
mod facts;
mod flow;
mod property_value;
mod provenance;
mod reduced_product;
mod registered_property;
mod selector_projection;
mod semiring;
mod typed_value;
mod types;
mod value_grammar;

pub use algebra::*;
pub use automaton::automaton_key;
pub use cascade_family::*;
pub use domain::*;
pub use facts::*;
pub use flow::*;
pub use property_value::*;
pub use provenance::*;
pub use reduced_product::{
    concatenate_reduced_class_value_products, intersect_reduced_class_value_products,
    iterate_reduced_class_value_product_constraints, join_reduced_class_value_products,
    reduce_class_value_product, reduced_class_value_product_is_subset,
    reduced_class_value_product_matches_string, summarize_belief_propagation_iteration_v0,
    summarize_reduced_class_value_product,
    summarize_reduced_product_belief_propagation_domain_graph_v0, summarize_reduced_product_domain,
};
pub use registered_property::*;
pub use selector_projection::*;
pub use semiring::*;
pub use typed_value::*;
pub use types::*;
pub use value_grammar::*;

#[cfg(test)]
mod tests;

pub const ABSTRACT_VALUE_CLAIM_LEVEL_V0: &str =
    "productWiredClassValueSelectorProjectionProvenanceReducedProductSubstrate";
pub const ABSTRACT_VALUE_CASCADE_FAMILY_CLAIM_LEVEL_V0: &str =
    "researchStagedCascadeFamilySubstrate";