stp.RealSortRef

class stp.RealSortRef

__eq__(other)

Return self==value.

__ne__(other)

Return self!=value.

array_element()

array_index()

bv_size()

fp_ebits()

fp_sbits()

fun_arity()

fun_codomain()

fun_domain(i)

id

kind()

manager()

name()

same(other)

sexpr()

translate(tm)

uninterpreted_name()