CostLiteral

data class CostLiteral(cost: Int) : SymbolicCost

Functions

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

Properties

cost
Link copied to clipboard
val cost: Int