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

ReturnPoints

data class ReturnPoints(val topMostReturnPointVariableName: Pair<String?, ObjectFormula>, val namedReturnPointVariableNames: Map<String, ObjectFormula>)
Content copied to clipboard

Maps return points to the SMT variables representing that place.

Constructors

Link copied to clipboard
fun ReturnPoints(topMostReturnPointVariableName: Pair<String?, ObjectFormula>, namedReturnPointVariableNames: Map<String, ObjectFormula>)
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun addAndReplaceTopMost(newScopeName: String, newVariableName: ObjectFormula): ReturnPoints
Content copied to clipboard
Link copied to clipboard
fun replaceTopMost(newScopeName: String?, newVariableName: ObjectFormula): ReturnPoints
Content copied to clipboard

Properties

Link copied to clipboard
val namedReturnPointVariableNames: Map<String, ObjectFormula>
Content copied to clipboard
Link copied to clipboard
val topMostReturnPointVariableName: Pair<String?, ObjectFormula>
Content copied to clipboard