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

CostMax

data class CostMax(val lhs: SymbolicCost, val rhs: SymbolicCost) : SymbolicCost

Constructors

fun CostMax(lhs: SymbolicCost, rhs: SymbolicCost)

Functions

open override fun concat(other: SymbolicCost): SymbolicCost

open override fun toDocument(): Document

open override fun zero(): SymbolicCost

Properties

val lhs: SymbolicCost

val rhs: SymbolicCost