getSortId method

int getSortId(Sort sort)

Get a unique id of a Sort.

Implementation

int getSortId(Sort sort) {
  return _z3.get_sort_id(_createSort(sort));
}