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

spot::minato_isop Class Reference
[Miscellaneous helper algorithms]

Generate an irredundant sum-of-products (ISOP) form of a BDD function. More...

#include <misc/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_

Classes

struct  local_vars
 Internal variables for minato_isop. More...


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:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:27 2005 for spot by doxygen 1.4.0