smt/io.github.jmltoolkit.smt.solver/SolverAnswer

SolverAnswer

class SolverAnswer(answers: List<SExpr>)(source)

Author

Alexander Weigl

Constructors

constructor(answers: List<SExpr>)

Functions

fun consumeErrors(): List<String>

fun expectSat(): SolverAnswer

fun expectSymbol(symbol: String): SolverAnswer

fun expectUnknown(): SolverAnswer

fun expectUnsat(): SolverAnswer

fun isSymbol(symbol: String): Boolean

fun peek(): SExpr

open override fun toString(): String