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

SelectionConstraint

sealed class SelectionConstraint : PrettyPrintable

Custom selection constraints specified for constraint solving during splitting.

Functions

toDocument

abstract fun toDocument(): Document

Inheritors

True

False

HostVariable

GuardVisibilityFlag

Literal

Implies

Or

And

Not

VariableIn

VariableEquals

Extensions

functionVariables

fun SelectionConstraint.functionVariables(): Set<FunctionVariable>

Some convenience functions.

guardVisibilityVariables

fun SelectionConstraint.guardVisibilityVariables(): Set<GuardVisibilityFlag>

hostVariables

fun SelectionConstraint.hostVariables(): Set<HostVariable>

protocols

fun SelectionConstraint.protocols(): Set<Protocol>

variableNames

fun SelectionConstraint.variableNames(): Set<String>