bdd_expr.h File Reference

Conversion between exprt and miniBDD. 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:

Go to the source code of 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

Conversion between exprt and miniBDD.

Binary decision diagram.

Author

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

Date

Sat, 02 Jan 2016 20:26:19 +0100

Definition in file bdd_expr.h.