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

Companion

object Companion
Content copied to clipboard

Functions

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