buildFuncDecl method

  1. @override
Z3_func_decl buildFuncDecl(
  1. Context c
)
override

Implementation

@override
Z3_func_decl buildFuncDecl(Context c) {
  final domainPtr = calloc<Z3_sort>(domain.length);
  try {
    for (var i = 0; i < domain.length; i++) {
      domainPtr[i] = c._createSort(domain[i]);
    }
    final result = c._z3.mk_func_decl(
      c._createSymbol(name),
      domain.length,
      domainPtr,
      c._createSort(range),
    );
    return result;
  } finally {
    malloc.free(domainPtr);
  }
}