Binary decision diagram. More...

#include <util/expr.h>
#include <solvers/bdd/bdd.h>
#include <unordered_map>

Include dependency graph for bdd_expr.h:

This graph shows which files directly or indirectly include this file:

Classes
class	bdd_exprt
	Conversion between `exprt` and `bbdt` This encapsulate a bdd_managert, thus BDDs created with this class should only be combined with BDDs created using the same instance of bdd_exprt . More...

Detailed Description

Binary decision diagram.

Conversion between exprt and miniBDD

Author: Michael Tautschnig, micha.nosp@m.el.t.nosp@m.autsc.nosp@m.hnig.nosp@m.@qmul.nosp@m..ac..nosp@m.uk

Definition in file bdd_expr.h.

Classes