ksmt-core/io.ksmt.expr.printer

Package-level declarations

Types

Link copied to clipboard
enum BvValuePrintMode : Enum<BvValuePrintMode>

Customize printing of Bv values.

Link copied to clipboard
interface ExpressionPrinter
Link copied to clipboard
class ExpressionPrinterWithLetBindings

Print expressions non-recursively. Use let-bindings for common subexpressions to minimize result string.

Link copied to clipboard
data class PrinterParams(val bvValuePrintMode: BvValuePrintMode = BvValuePrintMode.HEX)