smt/io.github.jmltoolkit.smt

Package-level declarations

Types

ArithmeticTranslator

interface ArithmeticTranslator

BitVectorArithmeticTranslator

open class BitVectorArithmeticTranslator(val smtLog: SmtQuery) : ArithmeticTranslator

IntArithmeticTranslator

class IntArithmeticTranslator(smtLog: SmtQuery) : BitVectorArithmeticTranslator

class JmlExpr2Smt(smtLog: SmtQuery, val translator: ArithmeticTranslator) : GenericVisitorAdapter<SExpr, Any?>

object SMTFacade

class SmtQuery : AppendableTo

object SmtTermFactory

object Z3