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 402 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 |