spot::bdd_ordered Class Reference
#include <tgba/tgbakvcomplement.hh>
List of all members.
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 |
( |
|
) |
[inline] |
unsigned spot::bdd_ordered::order |
( |
|
) |
const [inline] |
Member Data Documentation
The documentation for this class was generated from the following file: