arrow-analysis-common
2.0-RC
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check.model
/
CurrentVarInfo
/
add
add
fun
add
(
name
:
String
,
smtName
:
String
,
origin
:
Element
,
invariant
:
BooleanFormula
?
=
null
)
:
CurrentVarInfo
Content copied to clipboard
fun
add
(
vars
:
List
<
VarInfo
>
)
:
CurrentVarInfo
Content copied to clipboard