jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
jmlparser-parent
smt
/
io.github.jmltoolkit.smt.model
Package-level
declarations
Types
Types
SAtom
Link copied to clipboard
class
SAtom
(
stype
:
SmtType
?
,
javaType
:
ResolvedType
?
,
val
value
:
String
)
:
SExpr
SExpr
Link copied to clipboard
abstract
class
SExpr
(
var
javaType
:
ResolvedType
?
=
null
,
var
smtType
:
SmtType
?
=
null
)
:
AppendableTo
SList
Link copied to clipboard
class
SList
(
stype
:
SmtType
?
,
javaType
:
ResolvedType
?
,
value
:
List
<
SExpr
>
)
:
SExpr
Smt
Type
Link copied to clipboard
open
class
SmtType