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
46
47
48
49
50
51
52
53
54
55
56
57
58
59

use crate::EpDouble;
use libc::{c_int, c_void};
use std::os::raw::{c_char, c_double};

unsafe extern "C" {
    pub fn EpdAlloc() -> *mut EpDouble;
    pub fn EpdCmp(key1: *const c_void, key2: *const c_void) -> c_int;
    pub fn EpdFree(epd: *mut EpDouble) -> c_void;
    pub fn EpdGetString(epd: *const EpDouble, str: *mut c_char) -> c_void;
    pub fn EpdConvert(value: c_double, epd: *mut EpDouble) -> c_void;
    pub fn EpdMultiply(epd1: *mut EpDouble, value: c_double) -> c_void;
    pub fn EpdMultiply2(epd1: *mut EpDouble, epd2: *const EpDouble) -> c_void;
    pub fn EpdMultiply2Decimal(epd1: *mut EpDouble, epd2: *const EpDouble) -> c_void;
    pub fn EpdMultiply3(
        epd1: *const EpDouble,
        epd2: *const EpDouble,
        epd3: *mut EpDouble,
    ) -> c_void;
    pub fn EpdMultiply3Decimal(
        epd1: *const EpDouble,
        epd2: *const EpDouble,
        epd3: *mut EpDouble,
    ) -> c_void;
    pub fn EpdDivide(epd1: *mut EpDouble, value: c_double) -> c_void;
    pub fn EpdDivide2(epd1: *mut EpDouble, epd2: *const EpDouble) -> c_void;
    pub fn EpdDivide3(epd1: *const EpDouble, epd2: *const EpDouble, epd3: *mut EpDouble) -> c_void;
    pub fn EpdAdd(epd1: *mut EpDouble, value: c_double) -> c_void;
    pub fn EpdAdd2(epd1: *mut EpDouble, epd2: *const EpDouble) -> c_void;
    pub fn EpdAdd3(epd1: *const EpDouble, epd2: *const EpDouble, epd3: *mut EpDouble) -> c_void;
    pub fn EpdSubtract(epd1: *mut EpDouble, value: c_double) -> c_void;
    pub fn EpdSubtract2(epd1: *mut EpDouble, epd2: *const EpDouble) -> c_void;
    pub fn EpdSubtract3(
        epd1: *const EpDouble,
        epd2: *const EpDouble,
        epd3: *mut EpDouble,
    ) -> c_void;
    pub fn EpdPow2(n: c_int, epd: *mut EpDouble) -> c_void;
    pub fn EpdPow2Decimal(n: c_int, epd: *mut EpDouble) -> c_void;
    pub fn EpdNormalize(epd: *mut EpDouble) -> c_void;
    pub fn EpdNormalizeDecimal(epd: *mut EpDouble) -> c_void;
    pub fn EpdGetValueAndDecimalExponent(
        epd: *const EpDouble,
        value: *mut c_double,
        exponent: *mut c_int,
    ) -> c_void;
    pub fn EpdGetExponent(value: c_double) -> c_int;
    pub fn EpdGetExponentDecimal(value: c_double) -> c_int;
    pub fn EpdMakeInf(epd: *mut EpDouble, sign: c_int) -> c_void;
    pub fn EpdMakeZero(epd: *mut EpDouble, sign: c_int) -> c_void;
    pub fn EpdMakeNan(epd: *mut EpDouble) -> c_void;
    pub fn EpdCopy(from: *const EpDouble, to: *mut EpDouble) -> c_void;
    pub fn EpdIsInf(epd: *const EpDouble) -> c_int;
    pub fn EpdIsZero(epd: *const EpDouble) -> c_int;
    pub fn EpdIsNan(epd: *const EpDouble) -> c_int;
    pub fn EpdIsNanOrInf(epd: *const EpDouble) -> c_int;
    pub fn IsInfDouble(value: c_double) -> c_int;
    pub fn IsNanDouble(value: c_double) -> c_int;
    pub fn IsNanOrInfDouble(value: c_double) -> c_int;
}