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