getSortUniverse method

List<Expr> getSortUniverse(
  1. Sort s
)

Gets all of the expressions that satisfy the given sort.

Implementation

List<Expr> getSortUniverse(Sort s) {
  final vector = _c._z3.model_get_sort_universe(
    _model,
    _c._createSort(s),
  );
  return _c._unpackAstVector(vector).cast();
}