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

CostMul

data class CostMul(val lhs: Int, val rhs: SymbolicCost) : SymbolicCost

Multiply cost expression with a scalar. Restrict to scalar multiplication to keep constraint problem linear.

Constructors

fun CostMul(lhs: Int, rhs: SymbolicCost)

Functions

open override fun concat(other: SymbolicCost): SymbolicCost

open override fun toDocument(): Document

open override fun zero(): SymbolicCost

Properties

val lhs: Int

val rhs: SymbolicCost