binary_function
| 58 | // |
| 59 | // binary_function |
| 60 | void binary_function( |
| 61 | std::ostream& os , |
| 62 | const char* op_csrc , |
| 63 | size_t result_node , |
| 64 | size_t left_node , |
| 65 | size_t right_node ) |
| 66 | { os << "\t" + element("v", result_node) + " = "; |
| 67 | os << op_csrc; |
| 68 | os << "( " + element("v", left_node); |
| 69 | os << ", " + element("v", right_node) + " );\n"; |
| 70 | } |
| 71 | // |
| 72 | // binary_operator |
| 73 | void binary_operator( |