viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
SelectionConstraintGenerator
/
SelectionConstraintGenerator
Selection
Constraint
Generator
fun
SelectionConstraintGenerator
(
program
:
ProgramNode
,
protocolFactory
:
ProtocolFactory
,
protocolComposer
:
ProtocolComposer
,
costEstimator
:
CostEstimator
<
IntegerCost
>
)