viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
CostChoice
/
CostChoice
Cost
Choice
fun
CostChoice
(
choices
:
List
<
Pair
<
SelectionConstraint
,
SymbolicCost
>
>
)