+
Point of view
All features
class BACKTRACKING_SEQUENCE_LIST
Summary
top
A sequence of a list of nodes.
Direct parents
Inherit list: ABSTRACT_BACKTRACKING_SEQUENCE
Insert list: BACKTRACKING_GLOBALS
Overview
top
Features
{ABSTRACT_BACKTRACKING}
{ABSTRACT_BACKTRACKING}
{ABSTRACT_BACKTRACKING_POOL, ABSTRACT_BACKTRACKING}
{ABSTRACT_BACKTRACKING}
{ANY}
  • release
    Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
  • get_twin: BACKTRACKING_SEQUENCE_LIST
    Return a twin of current from the pool
  • pool: ABSTRACT_BACKTRACKING_POOL[BACKTRACKING_SEQUENCE_LIST]
    The pool that will record Current
{ABSTRACT_BACKTRACKING_POOL}
the pools
{ANY}
writable attribute
{ABSTRACT_BACKTRACKING}
top
Iterator on the next item of the list.
set_list (value: BACKTRACKING_NODE_AND_LIST)
effective procedure
{ABSTRACT_BACKTRACKING}
top
next_sequence (explorer: BACKTRACKING)
effective procedure
{ABSTRACT_BACKTRACKING}
top
Called by ABSTRACT_BACKTRACKING to let the current object switch to the next state to explore.
writable attribute
{ABSTRACT_BACKTRACKING_POOL, ABSTRACT_BACKTRACKING}
top
For the linked stack of sequences.
writable attribute
{ABSTRACT_BACKTRACKING}
top
The sequence to continue after a success in exploration of the current sequence.
set_continuation (value: ABSTRACT_BACKTRACKING_SEQUENCE)
effective procedure
{ABSTRACT_BACKTRACKING}
top
release
effective procedure
{ANY}
top
Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
get_twin: BACKTRACKING_SEQUENCE_LIST
effective function
{ANY}
top
Return a twin of current from the pool
pool: ABSTRACT_BACKTRACKING_POOL[BACKTRACKING_SEQUENCE_LIST]
deferred function
{ANY}
top
The pool that will record Current
writable attribute
{ABSTRACT_BACKTRACKING_POOL}
top
Internal link used by the pool to chain its poolable items.
set_pool_link (other: ABSTRACT_BACKTRACKING_POOLABLE)
effective procedure
{ABSTRACT_BACKTRACKING_POOL}
top
Set 'pool_link' to 'other'
once function
{ANY}
top
pool_of_sequence_list: BACKTRACKING_POOL_OF_SEQUENCE_LIST
once function
{ANY}
top
pool_of_alternative: BACKTRACKING_POOL_OF_ALTERNATIVE
once function
{ANY}
top
pool_of_alternative_list: BACKTRACKING_POOL_OF_ALTERNATIVE_LIST
once function
{ANY}
top