spot
0.8.3
|
#include <tgba/tgbakvcomplement.hh>
Public Member Functions | |
bdd_ordered () | |
bdd_ordered (int bdd_, unsigned order_) | |
unsigned | order () const |
unsigned & | order () |
bdd | get_bdd () const |
Private Attributes | |
int | bdd_ |
unsigned | order_ |
spot::bdd_ordered::bdd_ordered | ( | ) | [inline] |
spot::bdd_ordered::bdd_ordered | ( | int | bdd_, |
unsigned | order_ | ||
) | [inline] |
bdd spot::bdd_ordered::get_bdd | ( | ) | const [inline] |
References bdd_.
unsigned spot::bdd_ordered::order | ( | ) | const [inline] |
References order_.
unsigned& spot::bdd_ordered::order | ( | ) | [inline] |
References order_.
int spot::bdd_ordered::bdd_ [private] |
Referenced by get_bdd().
unsigned spot::bdd_ordered::order_ [private] |
Referenced by order().