spot::minato_isop Class Reference
Generate an irredundant sum-of-products (ISOP) form of a BDD function.
More...
#include <minato.hh>
List of all members.
|
Public Member Functions |
| minato_isop (bdd input) |
| Conctructor.
- input The BDD function to translate in ISOP.
|
| minato_isop (bdd input, bdd vars) |
| Conctructor.
- input The BDD function to translate in ISOP.
- vars The set of BDD variables to factorize in input.
|
bdd | next () |
| Compute the next sum term of the ISOP form. Return bddfalse when all terms have been output.
|
Private Attributes |
std::stack< local_vars > | todo_ |
std::stack< bdd > | cube_ |
bdd | ret_ |
Detailed Description
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}
}
Constructor & Destructor Documentation
spot::minato_isop::minato_isop |
( |
bdd |
input |
) |
|
|
|
Conctructor.
- input The BDD function to translate in ISOP.
|
spot::minato_isop::minato_isop |
( |
bdd |
input, |
|
|
bdd |
vars |
|
) |
|
|
|
Conctructor.
- input The BDD function to translate in ISOP.
- vars The set of BDD variables to factorize in input.
|
Member Function Documentation
bdd spot::minato_isop::next |
( |
|
) |
|
|
|
Compute the next sum term of the ISOP form. Return bddfalse when all terms have been output.
|
Member Data Documentation
The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:01:35 2004 for spot by
1.3.7