ksmt-core
0.5.23
ksmt-core
/
io.ksmt.sort
/
KFpRoundingModeSort
KFp
Rounding
Mode
Sort
class
KFpRoundingModeSort
(
val
ctx
:
KContext
)
:
KSort
Constructors
Functions
Properties
Constructors
KFp
Rounding
Mode
Sort
Link copied to clipboard
fun
KFpRoundingModeSort
(
ctx
:
KContext
)
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