cprover
|
Manager for BDD creation. More...
#include <bdd_cudd.h>
Public Member Functions | |
bdd_managert () | |
bdd_managert (const bdd_managert &)=delete | |
bddt | bdd_true () |
bddt | bdd_false () |
bddt | bdd_variable (bdd_nodet::indext index) |
bdd_nodet | bdd_node (const bddt &bdd) const |
bddt | bdd_true () |
bddt | bdd_false () |
bddt | bdd_variable (bdd_nodet::indext index) |
bdd_nodet | bdd_node (const bddt &bdd) const |
bdd_managert (const bdd_managert &)=delete | |
bdd_managert ()=default | |
Private Attributes | |
Cudd | cudd |
std::unordered_map< std::size_t, bddt > | index_to_bdd |
std::unordered_map< std::size_t, std::size_t > | bdd_var_to_index |
Manager for BDD creation.
Definition at line 136 of file bdd_cudd.h.
|
inline |
Definition at line 139 of file bdd_cudd.h.
|
delete |
|
delete |
|
default |
|
inline |
Definition at line 150 of file bdd_cudd.h.
|
inline |
Definition at line 159 of file bdd_miniBDD.h.
Definition at line 160 of file bdd_cudd.h.
Definition at line 175 of file bdd_miniBDD.h.
|
inline |
Definition at line 145 of file bdd_cudd.h.
|
inline |
Definition at line 154 of file bdd_miniBDD.h.
|
inline |
Definition at line 155 of file bdd_cudd.h.
|
inline |
Definition at line 164 of file bdd_miniBDD.h.
|
private |
Definition at line 185 of file bdd_miniBDD.h.
|
private |
Definition at line 166 of file bdd_cudd.h.
|
private |
Definition at line 184 of file bdd_miniBDD.h.