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 386 of file miniBDD.cpp.
Definition at line 398 of file miniBDD.cpp.
Definition at line 371 of file miniBDD.cpp.
Definition at line 381 of file miniBDD.cpp.
Definition at line 408 of file miniBDD.cpp.
unsigned mini_bddt::var | ( | ) | const |
class mini_bdd_nodet* mini_bddt::node |