build method

@override Z3_ast build(Context c)

Implementation

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