cudd-sys 1.1.1

Bindings for CU Decision Diagram library (CUDD)
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

use crate::MtrNode;
use libc::{FILE, c_int, c_uint, c_void};

/// Default flag value in `Mtr_MakeGroup`.
pub const MTR_DEFAULT: c_uint = 0;
/// See `Mtr_MakeGroup`.
pub const MTR_TERMINAL: c_uint = 1;
/// See `Mtr_MakeGroup`.
pub const MTR_SOFT: c_uint = 2;
/// See `Mtr_MakeGroup`.
pub const MTR_FIXED: c_uint = 4;
/// See `Mtr_MakeGroup`.
pub const MTR_NEWNODE: c_uint = 8;

unsafe extern "C" {
    pub fn Mtr_AllocNode() -> *mut MtrNode;
    pub fn Mtr_DeallocNode(node: *mut MtrNode) -> c_void;
    pub fn Mtr_InitTree() -> *mut MtrNode;
    pub fn Mtr_FreeTree(node: *mut MtrNode) -> c_void;
    pub fn Mtr_CopyTree(node: *const MtrNode, expansion: c_int) -> *mut MtrNode;
    pub fn Mtr_MakeFirstChild(parent: *mut MtrNode, child: *mut MtrNode) -> c_void;
    pub fn Mtr_MakeLastChild(parent: *mut MtrNode, child: *mut MtrNode) -> c_void;
    pub fn Mtr_CreateFirstChild(parent: *mut MtrNode) -> *mut MtrNode;
    pub fn Mtr_CreateLastChild(parent: *mut MtrNode) -> *mut MtrNode;
    pub fn Mtr_MakeNextSibling(first: *mut MtrNode, second: *mut MtrNode) -> c_void;
    pub fn Mtr_PrintTree(node: *const MtrNode) -> c_void;
    pub fn Mtr_InitGroupTree(lower: c_int, size: c_int) -> *mut MtrNode;
    pub fn Mtr_MakeGroup(
        root: *mut MtrNode,
        low: c_uint,
        high: c_uint,
        flags: c_uint,
    ) -> *mut MtrNode;
    pub fn Mtr_DissolveGroup(group: *mut MtrNode) -> *mut MtrNode;
    pub fn Mtr_FindGroup(root: *mut MtrNode, low: c_uint, high: c_uint) -> *mut MtrNode;
    pub fn Mtr_SwapGroups(first: *mut MtrNode, second: *mut MtrNode) -> c_int;
    pub fn Mtr_ReorderGroups(treenode: *mut MtrNode, permutation: *mut c_int) -> c_void;
    pub fn Mtr_PrintGroups(root: *const MtrNode, silent: c_int) -> c_void;
    pub fn Mtr_PrintGroupedOrder(
        root: *const MtrNode,
        invperm: *const c_int,
        fp: *mut FILE,
    ) -> c_int;
    pub fn Mtr_ReadGroups(fp: *mut FILE, nleaves: c_int) -> *mut MtrNode;
}