sdc v0.0.5 (2022-05-23T13:04:49Z)
Dub
Repo
CheckPoints.getSpanStateHash
format
writer
CheckPoints
Undocumented in source. Be warned that the author may not have intended to support it.
struct
CheckPoints
static
getSpanStateHash
(
const
ref
SolveState
s
,
const
Span
span
,
ulong
h
)
Meta
Source
See Implementation
format
writer
CheckPoints
constructors
this
functions
getPathHash
isRedundant
isSamePath
static functions
getSpanStateHash
isSameSpanState
variables
lineWriter
paths