buildSort method

@override Z3_sort buildSort(Context c)

Implementation

@override
Z3_sort buildSort(Context c) {
  final constructorPtr = calloc<Z3_constructor>(constructors.length);
  try {
    for (var i = 0; i < constructors.length; i++) {
      constructorPtr[i] = constructors[i].buildConstructor(c);
    }
    final result = c._z3.mk_datatype(
      c._createSymbol(name),
      constructors.length,
      constructorPtr,
    );
    for (var i = 0; i < constructors.length; i++) {
      c._z3.del_constructor(constructorPtr[i]);
    }
    return result;
  } finally {
    malloc.free(constructorPtr);
  }
}