build method

@override Z3_ast build(Context c)

Implementation

@override
Z3_ast build(Context c) {
  final argsPtr = calloc<Z3_ast>(args.length);
  try {
    for (var i = 0; i < args.length; i++) {
      argsPtr[i] = c._createAST(args[i]);
    }
    final result = c._z3.mk_atmost(args.length, argsPtr, k);
    return result;
  } finally {
    malloc.free(argsPtr);
  }
}