Struct biodivine_lib_bdd::BddVariableSetBuilder [−][src]
pub struct BddVariableSetBuilder { /* fields omitted */ }
Expand description
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 )
.
Implementations
Create a new builder without any variables.
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)
.
A more convenient version of make_variables
which allows irrefutable pattern matching
on the result, because it is an array instead of a vector.
Similar to make_variable
, but allows creating multiple variables at the same time.
Convert this builder to an actual variable set.