bdd_expr.h File Reference

Conversion between exprt and miniBDD. More...

#include <util/expr.h>
#include <solvers/miniBDD/miniBDD.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
	TO_BE_DOCUMENTED. 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.