class BACKTRACKING_ALTERNATIVE_LIST

Features exported to INTERNALS_HANDLER

An alternative of a list of nodes.

Direct parents

conformant parents

ABSTRACT_BACKTRACKING_ALTERNATIVE

non-conformant parents

BACKTRACKING_GLOBALS

Summary

exported features

the pools

Details

release

Called by ABSTRACT_BACKTRACKING to release current instance to the pool.

require

  • pool /= Void

get_twin: BACKTRACKING_ALTERNATIVE_LIST

Return a twin of current from the pool

require

  • pool /= Void

ensure

  • Result.is_equal(Current)

deferred pool: ABSTRACT_BACKTRACKING_POOL[BACKTRACKING_ALTERNATIVE_LIST]

The pool that will record Current

pool_of_sequence: BACKTRACKING_POOL_OF_SEQUENCE
pool_of_sequence_list: BACKTRACKING_POOL_OF_SEQUENCE_LIST
pool_of_alternative: BACKTRACKING_POOL_OF_ALTERNATIVE
pool_of_alternative_list: BACKTRACKING_POOL_OF_ALTERNATIVE_LIST