sdc v0.0.5 (2022-05-23T13:04:49Z)

LineWriter.exploreStates

format writer LineWriter
Undocumented in source. Be warned that the author may not have intended to support it.
struct LineWriter
SolveState
exploreStates
(
alias pred
)
(
SolveState best
,
ref CheckPoints checkpoints
,
uint max_attempts
)

Meta

Source

See Implementation

format writer LineWriter constructorsfunctionsvariables

Page generated by adrdox