compiler/io.github.aplcornell.viaduct.selection/VariableEquals

VariableEquals

data class VariableEquals(val var1: FunctionVariable, val var2: FunctionVariable) : SelectionConstraint

Protocols for v1 and v2 are equal.

Constructors

fun VariableEquals(var1: FunctionVariable, var2: FunctionVariable)

Functions

open override fun toDocument(): Document

Properties

val var1: FunctionVariable

val var2: FunctionVariable

Extensions

functionVariables

fun SelectionConstraint.functionVariables(): Set<FunctionVariable>

Some convenience functions.

guardVisibilityVariables

fun SelectionConstraint.guardVisibilityVariables(): Set<GuardVisibilityFlag>

fun SelectionConstraint.hostVariables(): Set<HostVariable>

fun SelectionConstraint.protocols(): Set<Protocol>

fun SelectionConstraint.variableNames(): Set<String>