|
TeDDy 4.1.0
Decision diagram library.
|
Public Member Functions | |
| mixed (std::vector< int32 > domains) | |
| auto | operator[] (int32 const index) const |
Public Attributes | |
| std::vector< int32 > | domains_ |
Static Public Attributes | |
| static constexpr int32 | value = 1 |