mck/
lib.rs

1#![doc = include_str!("../README.md")]
2
3mod array;
4mod bitvector;
5mod boolean;
6mod panic;
7mod traits;
8mod value;
9
10pub use value::{KnownParamValuation, ParamValuation, ThreeValued};
11
12#[doc(hidden)]
13pub mod concr {
14    pub use super::array::concr::*;
15    pub use super::bitvector::concr::*;
16    pub use super::boolean::concr::*;
17    pub use super::panic::concr::*;
18    pub use super::traits::concr::*;
19
20    pub type Bitvector<const W: u32> = super::bitvector::concr::CConcreteBitvector<W>;
21}
22
23#[doc(hidden)]
24pub mod abstr {
25    pub use super::array::abstr::*;
26    pub use super::bitvector::abstr::*;
27    pub use super::boolean::abstr::*;
28    pub use super::panic::abstr::*;
29    pub use super::traits::abstr::*;
30    pub use super::value::abstr::*;
31}
32
33#[doc(hidden)]
34pub mod refin {
35    pub use super::array::refin::*;
36    pub use super::bitvector::refin::*;
37    pub use super::boolean::refin::*;
38    pub use super::value::refin::*;
39}
40
41#[doc(hidden)]
42pub mod forward {
43
44    pub use super::traits::forward::*;
45
46    pub type Bitvector<const W: u32> = super::abstr::CBitvector<W>;
47    pub type Array<const I: u32, const E: u32> = super::abstr::CArray<I, E>;
48    pub type Boolean = super::abstr::Boolean;
49
50    pub use super::panic::abstr::*;
51    pub use super::traits::abstr::*;
52}
53
54#[doc(hidden)]
55pub mod backward {
56    pub use super::array::refin::*;
57    pub use super::bitvector::refin::*;
58    pub use super::boolean::refin::*;
59    pub use super::traits::backward::*;
60}
61
62#[doc(hidden)]
63pub mod misc {
64    pub use super::array::light::*;
65    pub use super::bitvector::{BitvectorBound, CBound, RBound};
66    pub use super::panic::message::*;
67    pub use super::traits::misc::*;
68    pub use super::value::Interpretation;
69}
mck/lib.rs

mck/
lib.rs
