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 |