Enum Choice
Defined in File Visit.h
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
-
enumerator NEWEST