cprover
|
Public Member Functions | |
restrictt (const unsigned _var, const bool _value) | |
mini_bddt | operator() (const mini_bddt &u) |
Protected Member Functions | |
mini_bddt | RES (const mini_bddt &u) |
Protected Attributes | |
const unsigned | var |
const bool | value |
Definition at line 507 of file miniBDD.cpp.
|
inline |
Definition at line 510 of file miniBDD.cpp.
Definition at line 515 of file miniBDD.cpp.
Definition at line 524 of file miniBDD.cpp.
References mini_bddt::high(), mini_bddt::is_initialized(), mini_bddt::low(), mini_bdd_nodet::mgr, mini_bddt::node, mini_bddt::var(), and mini_bdd_nodet::var.
|
protected |
Definition at line 519 of file miniBDD.cpp.
|
protected |
Definition at line 518 of file miniBDD.cpp.