cudd2_sys/
lib.rs

1#![allow(non_upper_case_globals)]
2#![allow(non_camel_case_types)]
3#![allow(non_snake_case)]
4#![allow(clippy::all)]
5
6use libc::*;
7
8include!(concat!(env!("OUT_DIR"), "/bindings.rs"));
9
10#[cfg(target_pointer_width = "64")]
11pub type DdHalfWord = u32;
12#[cfg(target_pointer_width = "32")]
13pub type DdHalfWord = u16;
14
15#[cfg(target_pointer_width = "64")]
16pub const CUDD_MAXINDEX: DdHalfWord = u32::MAX >> 1;
17#[cfg(target_pointer_width = "32")]
18pub const CUDD_MAXINDEX: DdHalfWord = u16::MAX;
19
20pub const CUDD_CONST_INDEX: DdHalfWord = CUDD_MAXINDEX;
21
22#[repr(C)]
23pub struct DdNode {
24    pub index: DdHalfWord,
25    pub ref_: DdHalfWord,
26    pub next: *mut DdNode,
27    pub type_: DdNode__bindgen_ty_1,
28}
29#[repr(C)]
30#[derive(Copy, Clone)]
31pub union DdNode__bindgen_ty_1 {
32    pub value: f64,
33    pub kids: DdChildren,
34}
35#[allow(clippy::unnecessary_operation, clippy::identity_op)]
36const _: () = {
37    ["Size of DdNode__bindgen_ty_1"][::std::mem::size_of::<DdNode__bindgen_ty_1>() - 16usize];
38    ["Alignment of DdNode__bindgen_ty_1"][::std::mem::align_of::<DdNode__bindgen_ty_1>() - 8usize];
39    ["Offset of field: DdNode__bindgen_ty_1::value"]
40        [::std::mem::offset_of!(DdNode__bindgen_ty_1, value) - 0usize];
41    ["Offset of field: DdNode__bindgen_ty_1::kids"]
42        [::std::mem::offset_of!(DdNode__bindgen_ty_1, kids) - 0usize];
43};
44#[allow(clippy::unnecessary_operation, clippy::identity_op)]
45const _: () = {
46    ["Size of DdNode"][::std::mem::size_of::<DdNode>() - 32usize];
47    ["Alignment of DdNode"][::std::mem::align_of::<DdNode>() - 8usize];
48    ["Offset of field: DdNode::index"][::std::mem::offset_of!(DdNode, index) - 0usize];
49    ["Offset of field: DdNode::ref_"][::std::mem::offset_of!(DdNode, ref_) - 4usize];
50    ["Offset of field: DdNode::next"][::std::mem::offset_of!(DdNode, next) - 8usize];
51    ["Offset of field: DdNode::type_"][::std::mem::offset_of!(DdNode, type_) - 16usize];
52};
cudd2_sys/lib.rs

cudd2_sys/
lib.rs
