ksmt-core/io.ksmt

Package-level declarations

Types

Link copied to clipboard
abstract class KAst(val ctx: KContext)
Link copied to clipboard
open class KContext(val operationMode: KContext.OperationMode = CONCURRENT, val astManagementMode: KContext.AstManagementMode = GC, val simplificationMode: KContext.SimplificationMode = SIMPLIFY, val printerParams: PrinterParams = PrinterParams()) : AutoCloseable