()
| 126 | } |
| 127 | |
| 128 | func (builder *builder) addVarId() int { |
| 129 | builder.maxVar += 1 |
| 130 | builder.varConstId = append(builder.varConstId, 0) |
| 131 | return builder.maxVar |
| 132 | } |
| 133 | |
| 134 | func (builder *builder) addVar() frontend.Variable { |
| 135 | return newVariable(builder.addVarId()) |