newVariadicLogicManager creates a logic manager instance bound to a specific function and its first term.
(fac ast.ExprFactory, function string, term ast.Expr)
| 267 | |
| 268 | // newVariadicLogicManager creates a logic manager instance bound to a specific function and its first term. |
| 269 | func newVariadicLogicManager(fac ast.ExprFactory, function string, term ast.Expr) *logicManager { |
| 270 | return &logicManager{ |
| 271 | exprFactory: fac, |
| 272 | function: function, |
| 273 | terms: []ast.Expr{term}, |
| 274 | ops: []int64{}, |
| 275 | variadicASTs: true, |
| 276 | } |
| 277 | } |
| 278 | |
| 279 | // newBalancingLogicManager creates a logic manager instance bound to a specific function and its first term. |
| 280 | func newBalancingLogicManager(fac ast.ExprFactory, function string, term ast.Expr) *logicManager { |