compiler/edu.cornell.cs.apl.viaduct.selection/SelectionConstraintGenerator

SelectionConstraintGenerator

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

Functions

getSelectionProblem
Link copied to clipboard
fun getSelectionProblem(): SelectionProblem
Content copied to clipboard
viableProtocols
Link copied to clipboard
fun viableProtocols(node: DeclarationNode): Set<Protocol>
Content copied to clipboard
fun viableProtocols(node: LetNode): Set<Protocol>
Content copied to clipboard
fun viableProtocols(node: ParameterNode): Set<Protocol>
Content copied to clipboard