newVariadicLogicManager creates a logic manager instance bound to a specific function and its first term.
(fac ast.ExprFactory, function string, term ast.Expr)
| 263 | |
| 264 | // newVariadicLogicManager creates a logic manager instance bound to a specific function and its first term. |
| 265 | func newVariadicLogicManager(fac ast.ExprFactory, function string, term ast.Expr) *logicManager { |
| 266 | return &logicManager{ |
| 267 | exprFactory: fac, |
| 268 | function: function, |
| 269 | terms: []ast.Expr{term}, |
| 270 | ops: []int64{}, |
| 271 | variadicASTs: true, |
| 272 | } |
| 273 | } |
| 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 { |