Return
data class ReturnPoints(topMostReturnPointVariableName: Pair<String?, ObjectFormula>, namedReturnPointVariableNames: Map<String, ObjectFormula>)
Content copied to clipboard
Maps return points to the SMT variables representing that place.
Constructors
ReturnPoints
Link copied to clipboard
fun ReturnPoints(topMostReturnPointVariableName: Pair<String?, ObjectFormula>, namedReturnPointVariableNames: Map<String, ObjectFormula>)
Content copied to clipboard
Types
Functions
add
Link copied to clipboard
fun addAndReplaceTopMost(newScopeName: String, newVariableName: ObjectFormula): ReturnPoints
Content copied to clipboard
replace
Link copied to clipboard
fun replaceTopMost(newScopeName: String?, newVariableName: ObjectFormula): ReturnPoints
Content copied to clipboard
Properties
namedReturnPointVariableNames
Link copied to clipboard
topMostReturnPointVariableName
Link copied to clipboard