cprover
bdd_expr.h File Reference

Conversion between exprt and miniBDD. More...

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