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.
	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_vars >	todo_
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<local_vars> spot::minato_isop::todo_ [private]

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

bdd spot::minato_isop::ret_ [private]

---

The documentation for this class was generated from the following file:

• misc/minato.hh

---

Please comment this page and report errors about it on the RefDocComments page.