compiler/edu.cornell.cs.apl.viaduct.selection/CostMul

CostMul

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

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

Constructors

CostMul

fun CostMul(lhs: Int, rhs: SymbolicCost)

Functions

concat

open override fun concat(other: SymbolicCost): SymbolicCost

toDocument

open override fun toDocument(): Document

zero

open override fun zero(): SymbolicCost

Properties

lhs

val lhs: Int

rhs

val rhs: SymbolicCost