cprover
|
#include <miniBDD.h>
Public Member Functions | |
mini_bdd_nodet (class mini_bdd_mgrt *_mgr, unsigned _var, unsigned _node_number, const mini_bddt &_low, const mini_bddt &_high) | |
void | add_reference () |
void | remove_reference () |
Public Attributes | |
class mini_bdd_mgrt * | mgr |
unsigned | var |
unsigned | node_number |
unsigned | reference_counter |
mini_bddt | low |
mini_bddt | high |
mini_bdd_nodet::mini_bdd_nodet | ( | class mini_bdd_mgrt * | _mgr, |
unsigned | _var, | ||
unsigned | _node_number, | ||
const mini_bddt & | _low, | ||
const mini_bddt & | _high | ||
) |
Referenced by mini_bdd_mgrt::mini_bdd_mgrt(), and mini_bdd_mgrt::mk().
void mini_bdd_nodet::add_reference | ( | ) |
void mini_bdd_nodet::remove_reference | ( | ) |
Definition at line 23 of file miniBDD.cpp.
References mini_bddt::clear(), mini_bdd_mgrt::free, high, low, mgr, node_number, reference_counter, mini_bdd_mgrt::reverse_map, and var.
mini_bddt mini_bdd_nodet::high |
Definition at line 70 of file miniBDD.h.
Referenced by mini_bdd_mgrt::mk(), and remove_reference().
mini_bddt mini_bdd_nodet::low |
Definition at line 70 of file miniBDD.h.
Referenced by mini_bdd_mgrt::mk(), and remove_reference().
class mini_bdd_mgrt* mini_bdd_nodet::mgr |
Definition at line 68 of file miniBDD.h.
Referenced by mini_bdd_applyt::APP_non_rec(), mini_bdd_applyt::APP_rec(), cubes(), remove_reference(), and restrictt::RES().
unsigned mini_bdd_nodet::node_number |
Definition at line 69 of file miniBDD.h.
Referenced by mini_bdd_mgrt::mk(), and remove_reference().
unsigned mini_bdd_nodet::reference_counter |
Definition at line 69 of file miniBDD.h.
Referenced by remove_reference().
unsigned mini_bdd_nodet::var |
Definition at line 69 of file miniBDD.h.
Referenced by mini_bdd_applyt::APP_non_rec(), mini_bdd_mgrt::mk(), remove_reference(), restrictt::RES(), and mini_bdd_mgrt::Var().