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

Implies

data class Implies(val lhs: SelectionConstraint, val rhs: SelectionConstraint) : SelectionConstraint

Constructors

fun Implies(lhs: SelectionConstraint, rhs: SelectionConstraint)

Functions

open override fun toDocument(): Document

Properties

val lhs: SelectionConstraint

val rhs: SelectionConstraint

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>