ksmt-core
0.5.23
ksmt-core
/
io.ksmt.sort
/
KBv8Sort
KBv8Sort
class
KBv8Sort
:
KBvSort
Functions
Properties
Functions
accept
Link copied to clipboard
open
override
fun
<
T
>
accept
(
visitor
:
KSortVisitor
<
T
>
)
:
T
equals
Link copied to clipboard
open
operator override
fun
equals
(
other
:
Any
?
)
:
Boolean
hash
Code
Link copied to clipboard
open
override
fun
hashCode
(
)
:
Int
print
Link copied to clipboard
open
override
fun
print
(
builder
:
StringBuilder
)
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String
Properties
ctx
Link copied to clipboard
val
ctx
:
KContext
size
Bits
Link copied to clipboard
open
override
val
sizeBits
:
UInt