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

CostLiteral

data class CostLiteral(val cost: Int) : SymbolicCost

Constructors

Link copied to clipboard
fun CostLiteral(cost: Int)

Functions

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

Properties

Link copied to clipboard
val cost: Int