newBalancingLogicManager creates a logic manager instance bound to a specific function and its first term.
(fac ast.ExprFactory, function string, term ast.Expr)
| 274 | |
| 275 | // newBalancingLogicManager creates a logic manager instance bound to a specific function and its first term. |
| 276 | func newBalancingLogicManager(fac ast.ExprFactory, function string, term ast.Expr) *logicManager { |
| 277 | return &logicManager{ |
| 278 | exprFactory: fac, |
| 279 | function: function, |
| 280 | terms: []ast.Expr{term}, |
| 281 | ops: []int64{}, |
| 282 | variadicASTs: false, |
| 283 | } |
| 284 | } |
| 285 | |
| 286 | // addTerm adds an operation identifier and term to the set of terms to be balanced. |
| 287 | func (l *logicManager) addTerm(op int64, term ast.Expr) { |