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

CurrentVarInfo

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

Constructors

Link copied to clipboard
fun CurrentVarInfo(varInfo: List<VarInfo>)
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

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