smt/io.github.jmltoolkit.smt/SmtQuery

SmtQuery

class SmtQuery : AppendableTo(source)

Author

Alexander Weigl

Constructors

constructor()

Types

object Companion

Functions

fun addAssert(nonNull: SExpr)

open override fun appendTo(writer: PrintWriter)

fun declareConst(name: String, type: SmtType): Boolean

fun defineThis()

fun pop()

fun push()

open override fun toString(): String