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

CostChoice

data class CostChoice(choices: List<Pair<SelectionConstraint, SymbolicCost>>) : SymbolicCost
Content copied to clipboard

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

Constructors

CostChoice
Link copied to clipboard
fun CostChoice(choices: List<Pair<SelectionConstraint, SymbolicCost>>)
Content copied to clipboard

Functions

concat
Link copied to clipboard
open override fun concat(other: SymbolicCost): SymbolicCost
Content copied to clipboard
toDocument
Link copied to clipboard
open override fun toDocument(): Document
Content copied to clipboard
zero
Link copied to clipboard
open override fun zero(): SymbolicCost
Content copied to clipboard

Properties

choices
Link copied to clipboard
val choices: List<Pair<SelectionConstraint, SymbolicCost>>
Content copied to clipboard