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

CostMonoid

interface CostMonoid<C : CostMonoid<C>> : PrettyPrintable
Content copied to clipboard

A commutative monoid that represents a notion of cost for a feature.

Functions

concat
Link copied to clipboard
abstract fun concat(other: C): C
Content copied to clipboard
toDocument
Link copied to clipboard
abstract fun toDocument(): Document
Content copied to clipboard
zero
Link copied to clipboard
abstract fun zero(): C
Content copied to clipboard

Inheritors

IntegerCost
Link copied to clipboard
Cost
Link copied to clipboard
SymbolicCost
Link copied to clipboard