ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver.util
/
ExprConversionResult
Expr
Conversion
Result
@
JvmInline
value
class
ExprConversionResult
(
expr
:
KExpr
<
*
>
?
)
Constructors
Properties
Constructors
Expr
Conversion
Result
Link copied to clipboard
fun
ExprConversionResult
(
expr
:
KExpr
<
*
>
?
)
Properties
converted
Expr
Link copied to clipboard
val
convertedExpr
:
KExpr
<
*
>
is
Arguments
Conversion
Required
Link copied to clipboard
val
isArgumentsConversionRequired
:
Boolean