+
Point of view
All features
class BACKTRACKING_SEQUENCE
require
-
value_not_void: value /= Void
ensure
-
definition: next = value
-
next_not_void: next /= Void
require
-
is_on_top: Current = explorer.top_sequence
get_twin: BACKTRACKING_SEQUENCE
effective function