Struct biodivine_lib_bdd::BddVariableSetBuilder

pub struct BddVariableSetBuilder { /* fields omitted */ }

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 ).

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.