volute 1.2.1

Boolean functions implementation, represented as lookup tables (LUT) or sum-of-products (SOP)
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
60
61
62

//! Optimization of boolean function representation using mathematical programming

#[cfg(feature = "optim-mip")]
#[cfg_attr(docsrs, doc(cfg(feature = "optim-mip")))]
mod mip;

#[cfg(feature = "optim-sat")]
#[cfg_attr(docsrs, doc(cfg(feature = "optim-sat")))]
mod sat;

use crate::sop::Cube;
use crate::sop::Ecube;
use crate::Lut;

use super::Esop;

/// Enumerate cubes that can be used to implement the given function. That is, cubes that are imply the function
fn enumerate_valid_cubes(function: &Lut) -> Vec<Cube> {
    Cube::all(function.num_vars())
        .filter(|c| c.implies_lut(function))
        .collect()
}

/// Enumerate exclusive cubes that can be used to implement the given function. That is, cubes that are imply the function
fn enumerate_valid_ecubes(function: &Lut) -> Vec<Ecube> {
    Ecube::all(function.num_vars())
        .filter(|c| c.implies_lut(function))
        .collect()
}

/// Enumerate cubes that can be used to implement these functions
fn enumerate_valid_cubes_multi(functions: &[Lut]) -> Vec<Cube> {
    // TODO: define and eliminate dominated cubes
    let mut cubes = Vec::new();
    for f in functions {
        cubes.extend(enumerate_valid_cubes(f));
    }
    cubes.sort();
    cubes.dedup();
    cubes
}

/// Enumerate exclusive cubes that can be used to implement these functions
fn enumerate_valid_ecubes_multi(functions: &[Lut]) -> Vec<Ecube> {
    // TODO: define and eliminate dominated cubes
    let mut cubes = Vec::new();
    for f in functions {
        cubes.extend(enumerate_valid_ecubes(f));
    }
    cubes.retain(|c| c.num_lits() >= 2);
    cubes.sort();
    cubes.dedup();
    cubes
}

#[cfg(feature = "optim-mip")]
#[cfg_attr(docsrs, doc(cfg(feature = "optim-mip")))]
pub use mip::*;

#[cfg(feature = "optim-sat")]
#[cfg_attr(docsrs, doc(cfg(feature = "optim-sat")))]
pub use sat::*;