Struct biodivine_lib_bdd::BddPartialValuation

source · [−]

pub struct BddPartialValuation(pub(crate) Vec<Option<bool>>);

Expand description

Describes assignment of some arbitrary number of Bdd variables.

A partial valuation can be used to quickly construct simple conjunctive/disjunctive clauses. It also exactly describes one path in a Bdd and hence can be used as an intermediate value when traversing the valuations of a Bdd.

Tuple Fields

0: Vec<Option<bool>>

Implementations

source

impl BddPartialValuation

source

pub fn empty() -> BddPartialValuation

Creates an empty valuation without any variables set.

source

pub fn is_empty(&self) -> bool

True if the valuation contains no values.

source

pub fn cardinality(&self) -> u16

Return the number of fixed variables in this valuation.

source

pub fn last_fixed_variable(&self) -> Option<BddVariable>

Return the identifier of the last fixed variable in this valuation. Returns None if no variable is fixed.

source

pub fn from_values(values: &[(BddVariable, bool )]) -> BddPartialValuation

Create a partial valuation from a list of variables and values.

The order of variables in the slice can be arbitrary. The operation does not perform any uniqueness checking. If the slice contains multiple copies of the same variable, the last value is accepted.

source

pub fn to_values(&self) -> Vec<(BddVariable, bool )>

Consume this valuation and turn it into a vector of values which are stored in it.

source

pub fn get_value(&self, id: BddVariable) -> Option<bool>

Get a value stored for the given variable id, if any.

source

pub fn has_value(&self, id: BddVariable) -> bool

Returns true if this valuation has the value of id variable set.

source

pub fn set_value(&mut self, id: BddVariable, value: bool)

Update value of the given id variable.

source

pub fn unset_value(&mut self, id: BddVariable)

Remove value of a variable from this valuation.

If the value was not set, this operation has no effect.

source

fn mut_cell(&mut self, id: BddVariable) -> &mut Option<bool>

source

pub fn extends(&self, valuation: &BddPartialValuation) -> bool

Returns true if the values set in this partial valuation match the values fixed in the other given valuation. I.e. the two valuations agree on fixed values in valuation.

In other words this >= valuation in terms of specificity.

Trait Implementations

source

impl Clone for BddPartialValuation

source

fn clone(&self) -> BddPartialValuation

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl Debug for BddPartialValuation

source

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

Formats the value using the given formatter. Read more

source

impl Default for BddPartialValuation

source

fn default() -> Self

Returns the “default value” for a type. Read more

source

impl Hash for BddPartialValuation

source

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

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

Feeds a slice of this type into the given Hasher. Read more

source

impl PartialEq<BddPartialValuation> for BddPartialValuation

source

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

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

source

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

This method tests for !=.

source

impl TryFrom<BddPartialValuation> for BddValuation

If possible, convert the given partial valuation to valuation with the same number of variables. Partial valuation must contain values of all variables.