home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
ABSTRACT_BACKTRACKING_POOL
INTERNALS_HANDLER
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
exported features
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
release
effective procedure
top
Called by
ABSTRACT_BACKTRACKING
to release current instance to the pool.
require
pool
/= Void
get_twin
: ABSTRACT_BACKTRACKING_POOLABLE
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_POOLABLE]
deferred function
top
The pool that will record Current