home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
ABSTRACT_BACKTRACKING
ABSTRACT_BACKTRACKING_POOL
INTERNALS_HANDLER
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
exported features
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
the pools
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
release
effective procedure
top
Called by
ABSTRACT_BACKTRACKING
to release current instance to the pool.
require
pool
/= Void
get_twin
: BACKTRACKING_SEQUENCE_LIST
effective function
top
Return a twin of current from the pool
require
pool
/= Void
ensure
Result.
is_equal
(Current)
pool
:
ABSTRACT_BACKTRACKING_POOL
[BACKTRACKING_SEQUENCE_LIST]
deferred function
top
The pool that will record Current
pool_of_sequence
:
BACKTRACKING_POOL_OF_SEQUENCE
once function
top
pool_of_sequence_list
:
BACKTRACKING_POOL_OF_SEQUENCE_LIST
once function
top
pool_of_alternative
:
BACKTRACKING_POOL_OF_ALTERNATIVE
once function
top
pool_of_alternative_list
:
BACKTRACKING_POOL_OF_ALTERNATIVE_LIST
once function
top