+
Point of view
All features
deferred class ABSTRACT_BACKTRACKING_POOLABLE
Summary
top
Alternatives and sequences MUST be managed in a pool. The ability to be in a pool is declared in that class.
Direct parents
Insert list: ANY
Known children
Inherit list: ABSTRACT_BACKTRACKING_ALTERNATIVE, ABSTRACT_BACKTRACKING_SEQUENCE
Overview
top
Features
{ANY}
  • release
    Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
  • get_twin: ABSTRACT_BACKTRACKING_POOLABLE
    Return a twin of current from the pool
  • pool: ABSTRACT_BACKTRACKING_POOL[ABSTRACT_BACKTRACKING_POOLABLE]
    The pool that will record Current
{ABSTRACT_BACKTRACKING_POOL}
  • pool_link: ABSTRACT_BACKTRACKING_POOLABLE
    Internal link used by the pool to chain its poolable items.
  • set_pool_link (other: ABSTRACT_BACKTRACKING_POOLABLE)
    Set 'pool_link' to 'other'
release
effective procedure
{ANY}
top
Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
require
get_twin: ABSTRACT_BACKTRACKING_POOLABLE
effective function
{ANY}
top
Return a twin of current from the pool
require ensure
pool: ABSTRACT_BACKTRACKING_POOL[ABSTRACT_BACKTRACKING_POOLABLE]
deferred function
{ANY}
top
The pool that will record Current
pool_link: ABSTRACT_BACKTRACKING_POOLABLE
writable attribute
{ABSTRACT_BACKTRACKING_POOL}
top
Internal link used by the pool to chain its poolable items.
Technical note: to give more freedom for further usages of 'pool_link' it is not defined with type anchorage.
set_pool_link (other: ABSTRACT_BACKTRACKING_POOLABLE)
effective procedure
{ABSTRACT_BACKTRACKING_POOL}
top
Set 'pool_link' to 'other'
ensure