sdc v0.0.5 (2022-05-23T13:04:49Z)
Dub
Repo
SolveState.overflow
format
writer
SolveState
Undocumented in source.
struct
SolveState
uint
overflow
;
Meta
Source
See Implementation
format
writer
SolveState
constructors
this
functions
canSplit
computeCost
computeNewLinePenality
computeUsedSpans
endLine
getLinePrefix
isBetterThan
isDeadSubTree
isSplit
isUsed
mustSplit
newLineCount
opCmp
updateSunk
variables
cost
overflow
prefix
ruleValues
sunk