util.analyzers
Trait for encoding structure function as a BDD
Export BDD to dot format
the output file
Trait for encoding structure function as a BDD