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

CostAdd

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

Constructors

fun CostAdd(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