arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/CurrentVarInfo

CurrentVarInfo

data class CurrentVarInfo(varInfo: List<VarInfo>)
Content copied to clipboard

Types

Companion
Link copied to clipboard
object Companion
Content copied to clipboard

Functions

add
Link copied to clipboard
fun add(vars: List<VarInfo>): CurrentVarInfo
Content copied to clipboard
fun add(name: String, smtName: String, origin: Element, invariant: BooleanFormula? = null): CurrentVarInfo
Content copied to clipboard
get
Link copied to clipboard
fun get(name: String): VarInfo?
Content copied to clipboard