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 fkt, G, 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(), and mini_bddt::var().
Referenced by operator()().
Definition at line 210 of file miniBDD.cpp.
References fkt, G, mini_bddt::high(), mini_bddt::is_constant(), mini_bddt::is_initialized(), mini_bddt::is_true(), mini_bddt::low(), mini_bdd_nodet::mgr, mini_bddt::node, mini_bddt::node_number(), and mini_bddt::var().
Definition at line 196 of file miniBDD.cpp.
References APP_non_rec().
|
protected |
Definition at line 202 of file miniBDD.cpp.
Referenced by APP_non_rec(), and APP_rec().
|
protected |
Definition at line 207 of file miniBDD.cpp.
Referenced by APP_non_rec(), and APP_rec().