def set_iterative_traversal(fun): commons.set_profile_exaustive(False) commons.set_increment_function(fun)
def set_exhaustive_traversal(): commons.set_profile_exaustive(True) commons.set_increment_function(commons.NONE_STRING)