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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
operator fun invoke(    solver: Solver,     name: String,     smtName: String,     origin: Element,     invariant: BooleanFormula? = null): VarInfo
Content copied to clipboard
Link copied to clipboard
fun unsafeCreate(    name: String,     smtName: String,     origin: Element,     invariant: BooleanFormula? = null): VarInfo
Content copied to clipboard