spot
1.2.6
|
Generate an irredundant sum-of-products (ISOP) form of a BDD function. More...
#include <misc/minato.hh>
Public Member Functions | |
minato_isop (bdd input) | |
Conctructor. More... | |
minato_isop (bdd input, bdd vars) | |
Conctructor. More... | |
bdd | next () |
Compute the next sum term of the ISOP form. Return bddfalse when all terms have been output. More... | |
Generate an irredundant sum-of-products (ISOP) form of a BDD function.
This algorithm implements a derecursived version the Minato-Morreale algorithm presented in the following paper.
@InProceedings{ minato.92.sasimi, author = {Shin-ichi Minato}, title = {Fast Generation of Irredundant Sum-of-Products Forms from Binary Decision Diagrams}, booktitle = {Proceedings of the third Synthesis and Simulation and Meeting International Interchange workshop (SASIMI'92)}, pages = {64--73}, year = {1992}, address = {Kobe, Japan}, month = {April} }
spot::minato_isop::minato_isop | ( | bdd | input) |
Conctructor.
spot::minato_isop::minato_isop | ( | bdd | input, |
bdd | vars | ||
) |
Conctructor.
bdd spot::minato_isop::next | ( | ) |
Compute the next sum term of the ISOP form. Return bddfalse
when all terms have been output.