ksmt-core
0.5.23
ksmt-core
/
io.ksmt.expr.transformer
/
KNonRecursiveTransformerBase
/
markExpressionAsNotTransformed
mark
Expression
As
Not
Transformed
fun
markExpressionAsNotTransformed
(
)
Inform
KNonRecursiveTransformer
that transformation was not applied to expression