home
wiki
classes/clusters list
class information
+
Point of view
ABSTRACT_BACKTRACKING_POOL
ANY
ABSTRACT_BACKTRACKING
ABSTRACT_BACKTRACKING_POOL
INTERNALS_HANDLER
All features
deferred class ABSTRACT_BACKTRACKING_SEQUENCE
Summary
top
Abstract realisation of a sequence iterator for the
ABSTRACT_BACKTRACKING
The
ABSTRACT_BACKTRACKING
uses the fields continuation to record the continuation path and calls the feature 'next_sequence' to let the current object choose how to continue the exploration.
Direct parents
inherit list:
ABSTRACT_BACKTRACKING_POOLABLE
Known children
inherit list:
ABSTRACT_BACKTRACKING_CUT_POINT
,
BACKTRACKING_SEQUENCE
,
BACKTRACKING_SEQUENCE_LIST
Overview
top
exported features
previous
: ABSTRACT_BACKTRACKING_SEQUENCE
For the linked stack of sequences.
release
Called by
ABSTRACT_BACKTRACKING
to release current instance to the pool.
get_twin
: ABSTRACT_BACKTRACKING_SEQUENCE
Return a twin of current from the pool
pool
:
ABSTRACT_BACKTRACKING_POOL
[ABSTRACT_BACKTRACKING_SEQUENCE]
The pool that will record Current
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'
previous
: ABSTRACT_BACKTRACKING_SEQUENCE
writable attribute
top
For the linked stack of sequences.
Managed by
ABSTRACT_BACKTRACKING
.
release
effective procedure
top
Called by
ABSTRACT_BACKTRACKING
to release current instance to the pool.
require
pool
/= Void
get_twin
: ABSTRACT_BACKTRACKING_SEQUENCE
effective function
top
Return a twin of current from the pool
require
pool
/= Void
ensure
Result.
is_equal
(Current)
pool
:
ABSTRACT_BACKTRACKING_POOL
[ABSTRACT_BACKTRACKING_SEQUENCE]
deferred function
top
The pool that will record Current
pool_link
:
ABSTRACT_BACKTRACKING_POOLABLE
writable attribute
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
top
Set 'pool_link' to 'other'
ensure
definition:
pool_link
= other