smt/io.github.jmltoolkit.smt.model/SmtType/Companion

Companion

object Companion(source)

Properties

val BOOL: SmtType

val BV16: SmtType

val BV32: SmtType

val BV64: SmtType

val BV8: SmtType

val COMMAND: SmtType

val FP32: SmtType

val FP64: SmtType

val INT: SmtType

val JAVA_OBJECT: SmtType

val REAL: SmtType

val STRING: SmtType

val SYMBOL: SmtType

val TYPE: SmtType

Functions

fun getBitVec(width: Int): SmtType.BitVec