cprover
guard_bdd.h File Reference

Guard Data Structure Implementation using BDDs. More...

#include <iosfwd>
#include <memory>
#include <solvers/bdd/bdd.h>
#include <solvers/prop/bdd_expr.h>
#include <util/make_unique.h>
#include <util/std_expr.h>
+ Include dependency graph for guard_bdd.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  guard_bddt
 

Detailed Description

Guard Data Structure Implementation using BDDs.

Definition in file guard_bdd.h.