|
TeDDy 4.1.0
Decision diagram library.
|
Same as MAX but short-circuits for M – should be faster.
More...
#include <operators.hpp>
Public Member Functions | |
| auto constexpr | operator() (int32 const l, int32 const r) const -> int32 |
Public Member Functions inherited from teddy::details::make_nary< MAXB< M > > | |
| auto constexpr | operator() (int32 const t, Ts... ts) const -> int32 |
Additional Inherited Members | |
Static Public Member Functions inherited from teddy::details::operation_info< 16, true > | |
| static auto constexpr | get_id () -> int32 |
| static auto constexpr | is_commutative () -> bool |
Same as MAX but short-circuits for M – should be faster.
| M | maximum of the domain of possible values |