oxidd 0.11.0

A safe, concurrent, modular, and performant decision diagram framework.
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139

//! Binary decision diagrams with complemented edges (BCDDs)

cfg_if::cfg_if! {
    if #[cfg(feature = "manager-pointer")] {
        pub use pointer::{BCDDFunction, BCDDManagerRef};
    } else if #[cfg(feature = "manager-index")] {
        pub use index::{BCDDFunction, BCDDManagerRef};
    } else {
        pub type BCDDFunction = ();
        pub type BCDDManagerRef = ();
    }
}

/// Print statistics to stderr
pub fn print_stats() {
    #[cfg(not(feature = "statistics"))]
    eprintln!("[statistics feature disabled]");

    #[cfg(feature = "statistics")]
    oxidd_rules_bdd::complement_edge::print_stats();
}

/// Create a new manager for a binary decision diagram with complement edges
#[allow(unused_variables)]
pub fn new_manager(
    inner_node_capacity: usize,
    apply_cache_capacity: usize,
    threads: u32,
) -> BCDDManagerRef {
    cfg_if::cfg_if! {
        if #[cfg(feature = "manager-pointer")] {
            pointer::BCDDManagerRef::new_manager(inner_node_capacity, apply_cache_capacity, threads)
        } else if #[cfg(feature = "manager-index")] {
            index::BCDDManagerRef::new_manager(inner_node_capacity, 1, apply_cache_capacity, threads)
        } else {
            unreachable!()
        }
    }
}

#[cfg(all(feature = "manager-index", not(feature = "manager-pointer")))]
mod index {
    use oxidd_manager_index::node::fixed_arity::NodeWithLevelCons;
    use oxidd_manager_index::terminal_manager::StaticTerminalManagerCons;
    use oxidd_rules_bdd::complement_edge::BCDDOp;
    use oxidd_rules_bdd::complement_edge::BCDDRules;
    use oxidd_rules_bdd::complement_edge::BCDDTerminal;
    use oxidd_rules_bdd::complement_edge::EdgeTag;

    use crate::util::type_cons::DD;

    crate::util::dd_index_based!(BCDD {
        node: NodeWithLevelCons<2>,
        edge_tag: EdgeTag,
        terminal_manager: StaticTerminalManagerCons<BCDDTerminal>,
        rules: BCDDRulesCons for BCDDRules,
        manager_data: BCDDManagerDataCons for BCDDManagerData,
        terminals: 1,
    });

    crate::util::manager_data!(BCDDManagerData for BCDD, operator: BCDDOp, cache_max_arity: 3);

    crate::util::manager_ref_index_based!(pub struct BCDDManagerRef(<BCDD as DD>::ManagerRef) with BCDDManagerData);

    #[cfg(not(feature = "multi-threading"))]
    type FunctionInner = oxidd_rules_bdd::complement_edge::BCDDFunction<<BCDD as DD>::Function>;
    #[cfg(feature = "multi-threading")]
    type FunctionInner = oxidd_rules_bdd::complement_edge::BCDDFunctionMT<<BCDD as DD>::Function>;

    /// Boolean function represented as BCDD
    #[derive(
        Clone,
        PartialEq,
        Eq,
        PartialOrd,
        Ord,
        Hash,
        oxidd_derive::Function,
        oxidd_derive::FunctionSubst,
        oxidd_derive::BooleanFunction,
        oxidd_derive::BooleanFunctionQuant,
    )]
    #[use_manager_ref(BCDDManagerRef, BCDDManagerRef(inner))]
    pub struct BCDDFunction(FunctionInner);
    crate::util::derive_raw_function_index_based!(for: BCDDFunction, inner: FunctionInner);

    // Default implementation suffices
    impl oxidd_dump::dot::DotStyle<EdgeTag> for BCDDFunction {}
}

#[cfg(feature = "manager-pointer")]
mod pointer {
    use oxidd_manager_pointer::node::fixed_arity::NodeWithLevelCons;
    use oxidd_manager_pointer::terminal_manager::StaticTerminalManagerCons;
    use oxidd_rules_bdd::complement_edge::BCDDOp;
    use oxidd_rules_bdd::complement_edge::BCDDRules;
    use oxidd_rules_bdd::complement_edge::BCDDTerminal;
    use oxidd_rules_bdd::complement_edge::EdgeTag;

    use crate::util::type_cons::DD;

    crate::util::dd_pointer_based!(BCDD {
        node: NodeWithLevelCons<2>,
        edge_tag: EdgeTag,
        terminal_manager: StaticTerminalManagerCons<BCDDTerminal>,
        rules: BCDDRulesCons for BCDDRules,
        manager_data: BCDDManagerDataCons for BCDDManagerData,
        tag_bits: 2,
    });

    crate::util::manager_data!(BCDDManagerData for BCDD, operator: BCDDOp, cache_max_arity: 3);

    crate::util::manager_ref_pointer_based!(pub struct BCDDManagerRef(<BCDD as DD>::ManagerRef) with BCDDManagerData);

    #[cfg(not(feature = "multi-threading"))]
    type FunctionInner = oxidd_rules_bdd::complement_edge::BCDDFunction<<BCDD as DD>::Function>;
    #[cfg(feature = "multi-threading")]
    type FunctionInner = oxidd_rules_bdd::complement_edge::BCDDFunctionMT<<BCDD as DD>::Function>;

    /// Boolean function represented as BCDD
    #[derive(
        Clone,
        PartialEq,
        Eq,
        PartialOrd,
        Ord,
        Hash,
        oxidd_derive::Function,
        oxidd_derive::FunctionSubst,
        oxidd_derive::BooleanFunction,
        oxidd_derive::BooleanFunctionQuant,
    )]
    #[use_manager_ref(BCDDManagerRef, BCDDManagerRef(inner))]
    pub struct BCDDFunction(FunctionInner);
    crate::util::derive_raw_function_pointer_based!(for: BCDDFunction, inner: FunctionInner);

    // Default implementation suffices
    impl oxidd_dump::dot::DotStyle<EdgeTag> for BCDDFunction {}
}