- levelChanged
bool levelChanged;
Undocumented in source.
- invalid
bool invalid;
Undocumented in source.
- getDepth
int getDepth()
Undocumented in source. Be warned that the author may not have intended to support it.
- copy
void copy(Strategy target)
Undocumented in source. Be warned that the author may not have intended to support it.
- next
void next(bool success)
Undocumented in source. Be warned that the author may not have intended to support it.
- nextIteration
void nextIteration()
Undocumented in source. Be warned that the author may not have intended to support it.
- nextInLevel
bool nextInLevel()
Undocumented in source. Be warned that the author may not have intended to support it.
- currentLevel
size_t currentLevel [@property getter]
Undocumented in source. Be warned that the author may not have intended to support it.
- setLevel
bool setLevel(size_t level)
Undocumented in source. Be warned that the author may not have intended to support it.
Keep going deeper until we find a successful reduction. When found, finish tests at current depth and restart from top depth (new iteration). If we reach the bottom (depth with no nodes on it), we're done.