+
Point of view
ANY
deferred class ABSTRACT_BACKTRACKING_POOL [X_ -> ABSTRACT_BACKTRACKING_POOLABLE]
Summary
Overview
exported features
  • get_instance: X_
    Returns an instance from the current pool.
  • get_fresh_instance: X_
    Returns a freshly created instance.
  • release_instance (inst: X_)
    Records the instance 'inst' into the current pool.
  • clear
    Removes all recorded instances from the current pool.
get_instance: X_
effective function
Returns an instance from the current pool.
get_fresh_instance: X_
deferred function
Returns a freshly created instance.
release_instance (inst: X_)
effective procedure
Records the instance 'inst' into the current pool.
clear
effective procedure
Removes all recorded instances from the current pool.