smt/io.github.jmltoolkit.smt.model/SList

SList

class SList(stype: SmtType?, javaType: ResolvedType?, value: List<SExpr>) : SExpr(source)

Author

Alexander Weigl

Constructors

constructor(stype: SmtType?, javaType: ResolvedType?, value: List<SExpr>)

Properties

var javaType: ResolvedType?

var smtType: SmtType?

Functions

open override fun appendTo(writer: PrintWriter)

fun asList(): SList

fun asSymbolValue(): String

fun get(i: Int): SExpr

open override fun toString(): String