TeDDy 4.1.0
Decision diagram library.
|
Public Member Functions | |
auto | operator[] (int64 const index) -> node< Data, Degree > *& |
auto | operator[] (int64 const index) const -> node< Data, Degree > *const & |
Public Attributes | |
node< Data, Degree > * | sons_ [Degree::value] |