spot
0.8.1
|
#include <bdd.h>
#include <stack>
Go to the source code of this file.
Classes | |
class | spot::minato_isop |
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... | |
struct | spot::minato_isop::local_vars |
Internal variables for minato_isop. More... | |
Namespaces | |
namespace | spot |