buildSort method

  1. @override
Z3_sort buildSort(
  1. Context c
)
override

Implementation

@override
Z3_sort buildSort(Context c) =>
    c._z3.mk_finite_domain_sort(c._createSymbol(name), size);