deferred class ABSTRACT_BACKTRACKING_SEQUENCE
Summary
Overview
exported features
  • previous: ABSTRACT_BACKTRACKING_SEQUENCE
    For the linked stack of sequences.
previous: ABSTRACT_BACKTRACKING_SEQUENCE
writable attribute
For the linked stack of sequences.
release
effective procedure
Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
get_twin: ABSTRACT_BACKTRACKING_SEQUENCE
effective function
Return a twin of current from the pool
pool: ABSTRACT_BACKTRACKING_POOL[ABSTRACT_BACKTRACKING_SEQUENCE]
deferred function
The pool that will record Current
writable attribute
Internal link used by the pool to chain its poolable items.
set_pool_link (other: ABSTRACT_BACKTRACKING_POOLABLE)
effective procedure
Set 'pool_link' to 'other'