| 108 | } |
| 109 | |
| 110 | string get_python_arg() |
| 111 | { |
| 112 | assert(data); |
| 113 | if (memory) |
| 114 | if (reg_type == "sbv") |
| 115 | return "sbitvec.get_type(" + to_string(n_bits) + ").Array(" |
| 116 | + to_string(get_size()) + ")"; |
| 117 | else |
| 118 | return "sint.Array(" + to_string(get_size()) + ")"; |
| 119 | else if (reg_type == "ci") |
| 120 | return "regint(0, size=" + to_string(get_size()) + ")"; |
| 121 | else |
| 122 | return "sint(0, size=" + to_string(get_size()) + ")"; |
| 123 | } |
| 124 | |
| 125 | bool get_memory() |
| 126 | { |