ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver.util
/
KExprConverterUtils
KExpr
Converter
Utils
object
KExprConverterUtils
Functions
Properties
Functions
check
Arguments
Size
Match
Expected
Link copied to clipboard
@
JvmStatic
fun
checkArgumentsSizeMatchExpected
(
argumentsSize
:
Int
,
expectedSize
:
Int
)
Properties
arguments
Conversion
Required
Link copied to clipboard
@
JvmStatic
val
argumentsConversionRequired
:
ExprConversionResult