class ABSTRACT_BACKTRACKING_POOL_OF_CUT_POINT
Summary
Pool for the ABSTRACT_BACKTRACKING_CUT_POINT items
Direct parents
Inherit list: ABSTRACT_BACKTRACKING_POOL
Overview
Creation features
Features
{ANY}
{ANY}
  • 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.
{}
get_fresh_instance: ABSTRACT_BACKTRACKING_CUT_POINT
effective function
{ANY}
creation of a new instance
get_instance: X_
effective function
{ANY}
Returns an instance from the current pool.
ensure
  • result_not_void: Result /= Void
release_instance (inst: X_)
effective procedure
{ANY}
Records the instance 'inst' into the current pool.
ensure
clear
effective procedure
{ANY}
Removes all recorded instances from the current pool.
pool_of_instances: WEAK_REFERENCE[X_]
writable attribute
{}
Head of the recorded instances
make
effective procedure
{}
creation