ksmt-core/io.ksmt.expr.printer/ExpressionPrinter

ExpressionPrinter

interface ExpressionPrinter

Functions

Link copied to clipboard
abstract fun append(expr: KExpr<*>)

Append an expression.

abstract fun append(str: String)

Append string as in StringBuilder.