spot  1.0
Classes | Public Member Functions | Private Attributes | List of all members
spot::minato_isop Class Reference

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. More...

#include <misc/minato.hh>

Collaboration diagram for spot::minato_isop:
Collaboration graph

Classes

struct  local_vars
 Internal variables for minato_isop. More...

Public Member Functions

 minato_isop (bdd input)
 Conctructor.
 minato_isop (bdd input, bdd vars)
 Conctructor.
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.

@verbatim 

/// { 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 Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2