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

SymbolicCost

sealed class SymbolicCost : CostMonoid<SymbolicCost>

Symbolic cost that will be minimized by a solver.

Types

object Companion

Functions

open override fun concat(other: SymbolicCost): SymbolicCost

abstract fun toDocument(): Document

open override fun zero(): SymbolicCost

Inheritors