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 247 of file miniBDD.cpp.
References mini_bddt::high(), mini_bddt::is_constant(), mini_bddt::is_initialized(), mini_bddt::is_true(), mini_bddt::low(), mini_bdd_nodet::mgr, mini_bdd_mgrt::mk(), mini_bddt::node, stack, mini_bdd_mgrt::True(), mini_bddt::var(), and mini_bdd_nodet::var.
Definition at line 210 of file miniBDD.cpp.
References mini_bdd_mgrt::False(), mini_bddt::high(), mini_bddt::is_constant(), mini_bddt::is_initialized(), mini_bddt::is_true(), mini_bddt::low(), mini_bdd_nodet::mgr, mini_bdd_mgrt::mk(), mini_bddt::node, mini_bddt::node_number(), mini_bdd_mgrt::True(), and mini_bddt::var().
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.