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
Functions
Properties
choices
Link copied to clipboard