compiler/io.github.aplcornell.viaduct.selection/SelectionConstraintGenerator

SelectionConstraintGenerator

class SelectionConstraintGenerator(program: ProgramNode, protocolFactory: ProtocolFactory, protocolComposer: ProtocolComposer, costEstimator: CostEstimator<IntegerCost>)

Constructors

Link copied to clipboard
fun SelectionConstraintGenerator(program: ProgramNode, protocolFactory: ProtocolFactory, protocolComposer: ProtocolComposer, costEstimator: CostEstimator<IntegerCost>)

Functions

Link copied to clipboard
Link copied to clipboard