Struct OxiDD 

pub struct OxiDD {
    bdd: BDDFunction,
    var_id: Option<u32>,
}

BDD type for OxiDD BDDs

Fields

bdd: BDDFunction

BDD representation of the variable

var_id: Option<u32>

If the BDD is a variable, contains the variable id

Trait Implementations

impl Bdd for OxiDD

fn not(&self) -> Self

Negation of a BDD.

fn and(&self, rhs: &Self) -> Self

Conjunction of two BDDs.

fn or(&self, rhs: &Self) -> Self

Disjunction of two BDDs.

fn exists<'a, I: IntoIterator<Item = &'a Self>>(&'a self, vars: I) -> Self

Existential quantification over a set of variables vars

fn satisfiable(&self) -> bool

Check whether a satisfying assignment exists for the BDD.

fn implies(&self, rhs: &Self) -> Self

Compute the implication of two BDDs, i.e., the bdd lhs => rhs.

fn equiv(&self, rhs: &Self) -> Self

Compute the equivalence of two BDDs, i.e., the bdd lhs <=> rhs.

fn swap<'a, I: IntoIterator<Item = &'a Self>>(&'a self, from: I, to: I) -> Self

Swap variables according to the permutation.

impl Clone for OxiDD

fn clone(&self) -> OxiDD

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OxiDD

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

Formats the value using the given formatter.

impl PartialEq for OxiDD

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.