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

SelectionProblem

data class SelectionProblem(constraints: Set<SelectionConstraint>, cost: SymbolicCost, costMap: Map<Node, SymbolicCost>)
Content copied to clipboard

A constrained optimization problem defined by a set of selection constraints and a cost expression to minimize.

Constructors

SelectionProblem
Link copied to clipboard
fun SelectionProblem(constraints: Set<SelectionConstraint>, cost: SymbolicCost, costMap: Map<Node, SymbolicCost> = mapOf())
Content copied to clipboard

Properties

constraints
Link copied to clipboard
val constraints: Set<SelectionConstraint>
Content copied to clipboard

Set of constraints that must hold true for any valid protocol assignment.

cost
Link copied to clipboard
val cost: SymbolicCost
Content copied to clipboard

Cost for the whole program.

costMap
Link copied to clipboard
val costMap: Map<Node, SymbolicCost>
Content copied to clipboard

Extra metadata that lets us associate cost with different parts of a program.