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

SymbolicCost

sealed class SymbolicCost : CostMonoid<SymbolicCost>
Content copied to clipboard

Symbolic cost that will be minimized by a solver.

Types

Companion
Link copied to clipboard
object Companion
Content copied to clipboard

Functions

concat
Link copied to clipboard
open override fun concat(other: SymbolicCost): SymbolicCost
Content copied to clipboard
toDocument
Link copied to clipboard
abstract fun toDocument(): Document
Content copied to clipboard
zero
Link copied to clipboard
open override fun zero(): SymbolicCost
Content copied to clipboard

Inheritors

CostLiteral
Link copied to clipboard
CostAdd
Link copied to clipboard
CostMul
Link copied to clipboard
CostMax
Link copied to clipboard
CostChoice
Link copied to clipboard