ksmt-core
0.5.23
ksmt-core
/
io.ksmt.expr.transformer
/
KNonRecursiveTransformerBase
/
transformAfter
transform
After
fun
KExpr
<
*
>
.
transformAfter
(
dependencies
:
List
<
KExpr
<
*
>
>
)
Transform
this
expression after
dependencies
expressions
fun
KExpr
<
*
>
.
transformAfter
(
dependency
:
KExpr
<
*
>
)