balancedTree recursively balances the terms provided to a commutative operator.
(lo, hi int)
| 303 | |
| 304 | // balancedTree recursively balances the terms provided to a commutative operator. |
| 305 | func (l *logicManager) balancedTree(lo, hi int) ast.Expr { |
| 306 | mid := (lo + hi + 1) / 2 |
| 307 | |
| 308 | var left ast.Expr |
| 309 | if mid == lo { |
| 310 | left = l.terms[mid] |
| 311 | } else { |
| 312 | left = l.balancedTree(lo, mid-1) |
| 313 | } |
| 314 | |
| 315 | var right ast.Expr |
| 316 | if mid == hi { |
| 317 | right = l.terms[mid+1] |
| 318 | } else { |
| 319 | right = l.balancedTree(mid+1, hi) |
| 320 | } |
| 321 | return l.exprFactory.NewCall(l.ops[mid], l.function, left, right) |
| 322 | } |
| 323 | |
| 324 | type exprHelper struct { |
| 325 | *parserHelper |