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 186 of file miniBDD.cpp.
|
protected |
Definition at line 203 of file miniBDD.cpp.
|
inlineexplicit |
Definition at line 189 of file miniBDD.cpp.
Definition at line 241 of file miniBDD.cpp.
Definition at line 207 of file miniBDD.cpp.
Definition at line 193 of file miniBDD.cpp.
|
protected |
Definition at line 199 of file miniBDD.cpp.
|
protected |
Definition at line 204 of file miniBDD.cpp.