search

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

Convert `BddValuation` back to `Bdd`. #35

Closed daemontus closed 1 year ago

daemontus commented 1 year ago

Currently, I see no direct way of converting a BddValuation back to a Bdd object. (This is possible for BddPartialValuation)

daemontus commented 1 year ago

My bad, this already exists as Bdd::from(BddValuation). See 8b964fa.