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

CostChoice

data class CostChoice(val choices: List<Pair<SelectionConstraint, SymbolicCost>>) : SymbolicCost

Cost determined by which guard is true. Exactly one guard must be true.

Constructors

fun CostChoice(choices: List<Pair<SelectionConstraint, SymbolicCost>>)

Functions

open override fun concat(other: SymbolicCost): SymbolicCost

open override fun toDocument(): Document

open override fun zero(): SymbolicCost

Properties

val choices: List<Pair<SelectionConstraint, SymbolicCost>>