stp.SortRef

class stp.SortRef

A sort. Sorts compare structurally with bool (they are not terms) and are pooled by their manager, so equal sorts are the same object.

kind()

name()

manager()

__eq__(other)

Return self==value.

__ne__(other)

Return self!=value.

sexpr()

translate(tm)

array_element()

array_index()

bv_size()

fp_ebits()

fp_sbits()

fun_arity()

fun_codomain()

fun_domain(i)

id

same(other)

uninterpreted_name()