sdc ~master (2022-04-26T13:08:25Z)
Dub
Repo
SolveState.sunk
format
writer
SolveState
Undocumented in source.
struct
SolveState
uint
sunk
;
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