compiler/edu.cornell.cs.apl.viaduct.selection/SelectionProblem/constraints

constraints

val constraints: Set<SelectionConstraint>
Content copied to clipboard

Set of constraints that must hold true for any valid protocol assignment.