CostMax

data class CostMax(lhs: SymbolicCost, rhs: SymbolicCost) : 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

lhs
Link copied to clipboard
val lhs: SymbolicCost
rhs
Link copied to clipboard
val rhs: SymbolicCost