cprover
|
Public Member Functions | |
mini_bdd_applyt (bool(*_fkt)(bool, bool)) | |
mini_bddt | operator() (const mini_bddt &x, const mini_bddt &y) |
Protected Types | |
typedef std::map< std::pair< unsigned, unsigned >, mini_bddt > | Gt |
Protected Member Functions | |
mini_bddt | APP_rec (const mini_bddt &x, const mini_bddt &y) |
mini_bddt | APP_non_rec (const mini_bddt &x, const mini_bddt &y) |
Protected Attributes | |
bool(* | fkt )(bool, bool) |
Gt | G |
Definition at line 189 of file miniBDD.cpp.
|
protected |
Definition at line 206 of file miniBDD.cpp.
|
inlineexplicit |
Definition at line 192 of file miniBDD.cpp.
Definition at line 249 of file miniBDD.cpp.
Definition at line 210 of file miniBDD.cpp.
Definition at line 196 of file miniBDD.cpp.
|
protected |
Definition at line 202 of file miniBDD.cpp.
|
protected |
Definition at line 207 of file miniBDD.cpp.