Enum Choice

Enum Documentation

enum class ADS::Choice

the node of Q that genericVisit() chooses

Values:

enumerator NEWEST

the last one added: the visit in depth

enumerator OLDEST

the first one added: the visit in breadth