Struct Layout 

pub struct Layout {
    pub tys: Vec<Ty>,
    pub bits: Vec<Vec<BddVariable>>,
}

Where each random variable’s bits live in the BDD.

Fields

tys: Vec<Ty>

Declared type of each variable, indexed by VarId.

bits: Vec<Vec<BddVariable>>

bits[v][i] is the BDD variable for bit i (LSB = 0) of variable v.

Implementations

impl Layout

pub fn interleaved(tys: &[Ty]) -> Result<Layout, BddBuildError>

Interleaved layout (module docs) for variables of the given types.

pub fn num_bits(&self) -> usize

Total number of BDD variables.

pub fn encode(&self, values: &[BigUint]) -> BddValuation

The BDD valuation that encodes values (one per variable).

Panics

If values does not have one entry per declared variable.

pub fn decode(&self, val: &BddValuation) -> Vec<BigUint>

The variable values a BDD valuation encodes.

Trait Implementations

impl Clone for Layout

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Layout

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Layout

impl PartialEq for Layout

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Layout