Struct biodivine_lib_bdd::BddVariableSetBuilder

pub struct BddVariableSetBuilder {
    var_names: Vec<String>,
    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>

Methods

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_variables(&mut self, names: Vec<&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.