compiler/edu.cornell.cs.apl.viaduct.selection/VariableEquals

VariableEquals

data class VariableEquals(var1: FunctionVariable, var2: FunctionVariable) : SelectionConstraint
Content copied to clipboard

Protocols for v1 and v2 are equal.

Constructors

VariableEquals
Link copied to clipboard
fun VariableEquals(var1: FunctionVariable, var2: FunctionVariable)
Content copied to clipboard

Functions

toDocument
Link copied to clipboard
open override fun toDocument(): Document
Content copied to clipboard

Properties

var1
Link copied to clipboard
val var1: FunctionVariable
Content copied to clipboard
var2
Link copied to clipboard
val var2: FunctionVariable
Content copied to clipboard