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

VariableIn

data class VariableIn(variable: FunctionVariable, protocol: Protocol) : SelectionConstraint
Content copied to clipboard

VariableIn(v, P) holds when v is selected to be a protocol in P

Constructors

VariableIn
Link copied to clipboard
fun VariableIn(variable: FunctionVariable, protocol: Protocol)
Content copied to clipboard

Functions

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

Properties

protocol
Link copied to clipboard
val protocol: Protocol
Content copied to clipboard
variable
Link copied to clipboard
val variable: FunctionVariable
Content copied to clipboard