Struct biodivine_lib_bdd::BddVariableSetBuilder

pub struct BddVariableSetBuilder {
    pub(crate) var_names: Vec<String>,
    pub(crate) var_names_set: HashSet<String>,
}

Used to safely initialize BddVariableSet.

Note that some characters are not allowed in variable names (to allow safe serialisation, formula parsers and export as .dot, etc.). These characters are !, &, |, ^, =, <, >, ( and ).

Fields

var_names: Vec<String>

var_names_set: HashSet<String>

Implementations

impl BddVariableSetBuilder

pub fn new() -> BddVariableSetBuilder

Create a new builder without any variables.

pub fn make_variable(&mut self, name: &str) -> BddVariable

Create a new variable with the given name. Returns a BddVariable instance that can be later used to create and query actual BDDs.

Panics:

• Each variable name has to be unique.
• Currently, there can be at most 65535 variables.
• The name must not contain !, &, |, ^, =, <, >, ( or ).

pub fn make<const X: usize>(&mut self, names: &[&str; X]) -> [BddVariable; X]

A more convenient version of make_variables which allows irrefutable pattern matching on the result, because it is an array instead of a vector.

pub fn make_variables(&mut self, names: &[&str]) -> Vec<BddVariable>

Similar to make_variable, but allows creating multiple variables at the same time.

pub fn build(self) -> BddVariableSet

Convert this builder to an actual variable set.

Trait Implementations

impl Default for BddVariableSetBuilder

fn default() -> Self

Returns the “default value” for a type.