| 11 | #include "GB_stringify.h" |
| 12 | |
| 13 | void GB_enumify_monoid // enumerate a monoid |
| 14 | ( |
| 15 | // outputs: |
| 16 | int *add_ecode, // binary op as an enum |
| 17 | int *id_ecode, // identity value as an enum |
| 18 | int *term_ecode, // terminal value as an enum |
| 19 | // inputs: |
| 20 | int add_opcode, // binary operator of the monoid |
| 21 | int zcode // type of the monoid (x, y, and z) |
| 22 | ) |
| 23 | { |
| 24 | |
| 25 | GB_enumify_binop (add_ecode, add_opcode, zcode, false) ; |
| 26 | ASSERT (*add_ecode < 32) ; |
| 27 | GB_enumify_identity (id_ecode, add_opcode, zcode) ; |
| 28 | GB_enumify_terminal (term_ecode, add_opcode, zcode) ; |
| 29 | } |
| 30 |
no test coverage detected