cprover
|
Logical operations on BDDs. More...
#include <bdd_cudd.h>
Public Member Functions | |
bool | equals (const bddt &other) const |
bool | is_true () const |
bool | is_false () const |
bddt | bdd_not () const |
bddt | bdd_or (const bddt &other) const |
bddt | bdd_and (const bddt &other) const |
bddt | bdd_xor (const bddt &other) const |
bddt | constrain (const bddt &other) |
bddt & | operator= (const bddt &other)=default |
bool | equals (const bddt &other) const |
bool | is_true () const |
bool | is_false () const |
bddt | bdd_not () const |
bddt | bdd_or (const bddt &other) const |
bddt | bdd_and (const bddt &other) const |
bddt | bdd_xor (const bddt &other) const |
bddt | constrain (const bddt &other) |
bddt & | operator= (const bddt &other) |
Static Public Member Functions | |
static bddt | bdd_ite (const bddt &i, const bddt &t, const bddt &e) |
static bddt | bdd_ite (const bddt &i, const bddt &t, const bddt &e) |
Private Member Functions | |
bddt (BDD bdd) | |
bddt (const mini_bddt &bdd) | |
Private Attributes | |
BDD | bdd |
Friends | |
class | bdd_managert |
Logical operations on BDDs.
Definition at line 77 of file bdd_cudd.h.
|
inlineexplicitprivate |
Definition at line 130 of file bdd_cudd.h.
|
inlineexplicitprivate |
Definition at line 145 of file bdd_miniBDD.h.
Definition at line 105 of file bdd_cudd.h.
Definition at line 115 of file bdd_miniBDD.h.
Definition at line 115 of file bdd_cudd.h.
Definition at line 125 of file bdd_miniBDD.h.
|
inline |
Definition at line 95 of file bdd_cudd.h.
|
inline |
Definition at line 105 of file bdd_miniBDD.h.
Definition at line 100 of file bdd_cudd.h.
Definition at line 110 of file bdd_miniBDD.h.
Definition at line 110 of file bdd_cudd.h.
Definition at line 120 of file bdd_miniBDD.h.
Definition at line 120 of file bdd_cudd.h.
Definition at line 130 of file bdd_miniBDD.h.
|
inline |
Definition at line 80 of file bdd_cudd.h.
|
inline |
Definition at line 90 of file bdd_miniBDD.h.
|
inline |
Definition at line 90 of file bdd_cudd.h.
|
inline |
Definition at line 100 of file bdd_miniBDD.h.
|
inline |
Definition at line 85 of file bdd_cudd.h.
|
inline |
Definition at line 95 of file bdd_miniBDD.h.
Definition at line 136 of file bdd_miniBDD.h.
|
friend |
Definition at line 129 of file bdd_cudd.h.
|
private |
Definition at line 128 of file bdd_cudd.h.