#include <tgba/tgbakvcomplement.hh>
Constructor & Destructor Documentation
spot::bdd_ordered::bdd_ordered |
( |
| ) |
|
|
inline |
spot::bdd_ordered::bdd_ordered |
( |
int |
bdd_, |
|
|
unsigned |
order_ |
|
) |
| |
|
inline |
Member Function Documentation
bdd spot::bdd_ordered::get_bdd |
( |
| ) |
const |
|
inline |
unsigned spot::bdd_ordered::order |
( |
| ) |
const |
|
inline |
unsigned& spot::bdd_ordered::order |
( |
| ) |
|
|
inline |
Member Data Documentation
int spot::bdd_ordered::bdd_ |
|
private |
unsigned spot::bdd_ordered::order_ |
|
private |
The documentation for this class was generated from the following file: