viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
SelectionProblem
/
constraints
constraints
val
constraints
:
Set
<
SelectionConstraint
>
Set of constraints that must hold true for any valid protocol assignment.