viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.selection
/
CostAdd
Cost
Add
data
class
CostAdd
(
lhs
:
SymbolicCost
,
rhs
:
SymbolicCost
)
:
SymbolicCost
Content copied to clipboard
Functions
Properties
Functions
concat
Link copied to clipboard
open
override
fun
concat
(
other
:
SymbolicCost
)
:
SymbolicCost
Content copied to clipboard
to
Document
Link copied to clipboard
open
override
fun
toDocument
(
)
:
Document
Content copied to clipboard
zero
Link copied to clipboard
open
override
fun
zero
(
)
:
SymbolicCost
Content copied to clipboard
Properties
lhs
Link copied to clipboard
val
lhs
:
SymbolicCost
Content copied to clipboard
rhs
Link copied to clipboard
val
rhs
:
SymbolicCost
Content copied to clipboard