spot
1.1.4
|
#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_ |
|
inline |
|
inline |
|
inline |
References bdd_.
|
inline |
References order_.
|
inline |
References order_.
|
private |
Referenced by get_bdd().
|
private |
Referenced by order().