CBMC
|
#include <miniBDD.h>
Public Member Functions | |
reverse_keyt (unsigned _var, const mini_bddt &_low, const mini_bddt &_high) | |
bool | operator< (const reverse_keyt &) const |
Public Attributes | |
unsigned | var |
unsigned | low |
unsigned | high |
mini_bdd_mgrt::reverse_keyt::reverse_keyt | ( | unsigned | _var, |
const mini_bddt & | _low, | ||
const mini_bddt & | _high | ||
) |
bool mini_bdd_mgrt::reverse_keyt::operator< | ( | const reverse_keyt & | y | ) | const |
Definition at line 469 of file miniBDD.cpp.