DDDMP Reader

This transformation reads a BDD serialized in DDDMP format and converts it into an in-memory BDD representation. DDDMP is a common format for storing and exchanging BDDs.

---

Code Examples

from flamapy.metamodels.bdd_metamodel.transformations.dddmp_reader import DDDMPReader

# Load the BDD from a DDDMP file
bdd_model = DDDMPReader('path/to/bdd.dddmp').transform()

print(bdd_model)