sylvan-sys 1.1.0

Bindings for the Sylvan parallel decision diagrams 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
25
26
27
28
29
30
31
32
33
34

use libc::{c_int, c_uint, c_void, size_t};
use std::marker::{PhantomData, PhantomPinned};

/// An opaque C struct used to represent a Lace worker.
#[repr(C)]
pub struct WorkerP {
    _data: [u8; 0],
    _marker: PhantomData<(*mut u8, PhantomPinned)>,
}

/// An opaque C struct used to represent a Lace task.
#[repr(C)]
pub struct Task {
    _data: [u8; 0],
    _marker: PhantomData<(*mut u8, PhantomPinned)>,
}

extern "C" {
    pub fn Lace_set_verbosity(level: c_int) -> c_void;
    pub fn Lace_set_stacksize(stacksize: size_t) -> c_void;
    pub fn Lace_get_stacksize() -> size_t;
    pub fn Lace_get_pu_count() -> c_uint;
    pub fn Lace_start(n_workers: c_uint, dqsize: size_t) -> c_void;
    pub fn Lace_suspend() -> c_void;
    pub fn Lace_resume() -> c_void;
    pub fn Lace_stop() -> c_void;
    pub fn Lace_barrier() -> c_void;
    pub fn Lace_workers() -> c_uint;
    pub fn Lace_get_worker() -> *mut WorkerP;
    pub fn Lace_get_head(worker: *mut WorkerP) -> *mut Task;
    pub fn Lace_run_task(task: *mut Task) -> c_void;
    pub fn Lace_run_newframe(task: *mut Task) -> c_void;
    pub fn Lace_run_together(task: *mut Task) -> c_void;
}