Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

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_varstodo_
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

std::stack<bdd> spot::minato_isop::cube_ [private]
 

bdd spot::minato_isop::ret_ [private]
 

std::stack<local_vars> spot::minato_isop::todo_ [private]
 


The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:01:35 2004 for spot by doxygen 1.3.7