Provide generic `BddVariableSet` that does not necessarily rely on string names

sybila / biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.

MIT License

20 stars 4 forks source link

Provide generic `BddVariableSet` that does not necessarily rely on string names #50

Open daemontus opened 9 months ago

daemontus commented 9 months ago

In some cases, it is useful to have structured "Bdd variable" object, such as an enum which specifies different types of variables used for encoding different components of the system. This is currently not supported, but could be probably added surprisingly easily. For backwards-compatibility, we can have a layer on top of the new implementation that exposes the string concretization.

daemontus commented 9 months ago

Some initial work has started in generic-bdd-variable-set.