cprover
|
#include <miniBDD.h>
Public Member Functions | |
mini_bddt () | |
mini_bddt (const mini_bddt &x) | |
~mini_bddt () | |
mini_bddt | operator! () const |
mini_bddt | operator^ (const mini_bddt &) const |
mini_bddt | operator== (const mini_bddt &) const |
mini_bddt | operator & (const mini_bddt &) const |
mini_bddt | operator| (const mini_bddt &) const |
mini_bddt & | operator= (const mini_bddt &) |
bool | is_constant () const |
bool | is_true () const |
bool | is_false () const |
unsigned | var () const |
const mini_bddt & | low () const |
const mini_bddt & | high () const |
unsigned | node_number () const |
void | clear () |
bool | is_initialized () const |
mini_bddt (class mini_bdd_nodet *_node) | |
Public Attributes | |
class mini_bdd_nodet * | node |
mini_bddt::mini_bddt | ( | ) |
mini_bddt::mini_bddt | ( | const mini_bddt & | x | ) |
mini_bddt::~mini_bddt | ( | ) |
|
explicit |
void mini_bddt::clear | ( | ) |
const mini_bddt& mini_bddt::high | ( | ) | const |
bool mini_bddt::is_constant | ( | ) | const |
bool mini_bddt::is_false | ( | ) | const |
bool mini_bddt::is_true | ( | ) | const |
const mini_bddt& mini_bddt::low | ( | ) | const |
unsigned mini_bddt::node_number | ( | ) | const |
mini_bddt mini_bddt::operator! | ( | ) | const |
Definition at line 390 of file miniBDD.cpp.
Definition at line 375 of file miniBDD.cpp.
Definition at line 385 of file miniBDD.cpp.
Definition at line 412 of file miniBDD.cpp.
unsigned mini_bddt::var | ( | ) | const |
class mini_bdd_nodet* mini_bddt::node |