|
TeDDy 4.1.0
Decision diagram library.
|
Public Member Functions | |
| auto constexpr | operator() (int32 const l, int32 const r) const -> int32 |
Additional Inherited Members | |
Static Public Member Functions inherited from teddy::details::operation_info< 11, false > | |
| static auto constexpr | get_id () -> int32 |
| static auto constexpr | is_commutative () -> bool |