SelectionProblem

data class SelectionProblem(val constraints: Set<SelectionConstraint>, val cost: SymbolicCost, val costMap: Map<Node, SymbolicCost> = mapOf())

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

Constructors

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

Cost for the whole program.

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