getSorts method

List<Sort> getSorts()

Implementation

List<Sort> getSorts() {
  final result = <Sort>[];
  final size = _c._z3.model_get_num_sorts(_model);
  for (var i = 0; i < size; i++) {
    result.add(
      _c._getSort(_c._z3.model_get_sort(_model, i)),
    );
  }
  return result;
}