Struct biodivine_lib_bdd::BddValuation

pub struct BddValuation(_);

Exactly describes one assignment of boolean values to variables of a Bdd.

It can be used as a witness of Bdd non-emptiness, since one can evaluate every Bdd in some corresponding valuation and get a true/false result.

Methods

impl BddValuation

pub fn new(values: Vec<bool>) -> BddValuation

Create a new valuation from a vector of variables.

pub fn value(&self, variable: BddVariable) -> bool

Get a value of a specific BDD variable in this valuation.

pub fn num_vars(&self) -> u16

Number of variables in this valuation (used mostly for consistency checks).

Trait Implementations

impl Clone for BddValuation

fn clone(&self) -> BddValuation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BddValuation

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

Formats the value using the given formatter.

impl Display for BddValuation

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

Formats the value using the given formatter.

impl Eq for BddValuation

impl Hash for BddValuation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<BddValuation> for BddValuation

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for BddValuation

impl StructuralPartialEq for BddValuation