oxidd-derive 0.12.0

Derive macros for OxiDD
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use oxidd_derive::Countable;

#[derive(Clone, Copy, Countable)]
#[repr(u8)]
pub enum EdgeTag {
    None,
    Complemented,
}

#[derive(Clone, Copy, Countable)]
pub struct NoTag1;

#[derive(Clone, Copy, Countable)]
pub struct NoTag2();

#[derive(Clone, Copy, Countable)]
pub struct NoTag3 {}

fn main() {}