home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
ABSTRACT_BACKTRACKING
ABSTRACT_BACKTRACKING_POOL
INTERNALS_HANDLER
All features
class ABSTRACT_BACKTRACKING_POOL_OF_CUT_POINT
Summary
top
Pool for the
ABSTRACT_BACKTRACKING_CUT_POINT
items
Direct parents
inherit list:
ABSTRACT_BACKTRACKING_POOL
Overview
top
creation features
features
get_fresh_instance
:
ABSTRACT_BACKTRACKING_CUT_POINT
creation of a new instance
get_instance
: X_
Returns an instance from the current pool.
release_instance
(inst: X_)
Records the instance 'inst' into the current pool.
clear
Removes all recorded instances from the current pool.
pool_of_instances
:
WEAK_REFERENCE
[X_]
Head of the recorded instances
make
creation
get_fresh_instance
:
ABSTRACT_BACKTRACKING_CUT_POINT
effective function
top
creation of a new instance
get_instance
: X_
effective function
top
Returns an instance from the current pool.
ensure
result_not_void:
Result /= Void
release_instance
(inst: X_)
effective procedure
top
Records the instance 'inst' into the current pool.
ensure
instance_on_top:
pool_of_instances
.item = inst
previous_top_chained:
inst.pool_link = old
pool_of_instances
.item
clear
effective procedure
top
Removes all recorded instances from the current pool.
pool_of_instances
:
WEAK_REFERENCE
[X_]
writable attribute
top
Head of the recorded instances
make
effective procedure
top
creation