smt/io.github.jmltoolkit.smt.model/SAtom

SAtom

class SAtom(stype: SmtType?, javaType: ResolvedType?, val value: String) : SExpr(source)

Author

Alexander Weigl

Constructors

constructor(stype: SmtType?, javaType: ResolvedType?, value: String)

Properties

var javaType: ResolvedType?

var smtType: SmtType?

val value: String

Functions

open override fun appendTo(writer: PrintWriter)

fun asList(): SList

fun asSymbolValue(): String

open override fun toString(): String