oxilean-std 0.1.2

OxiLean standard library
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

//! Auto-generated module structure

pub mod abstractionfunction_traits;
pub mod arrayboundsanalysis_traits;
pub mod concretizationfunction_traits;
pub mod fixpointcomputation_traits;
pub mod functions;
pub mod nullpointeranalysis_traits;
pub mod reachabilityanalysis_traits;
pub mod taintanalysis_traits;
pub mod templatepolyhedrondomain_traits;
pub mod types;

// Re-export all types
pub use abstractionfunction_traits::*;
pub use arrayboundsanalysis_traits::*;
pub use concretizationfunction_traits::*;
pub use fixpointcomputation_traits::*;
pub use functions::*;
pub use nullpointeranalysis_traits::*;
pub use reachabilityanalysis_traits::*;
pub use taintanalysis_traits::*;
pub use templatepolyhedrondomain_traits::*;
pub use types::*;