class ABSTRACT_BACKTRACKING_POOL_OF_CUT_POINT

Features exported to ANY

Pool for the ABSTRACT_BACKTRACKING_CUT_POINT items

Direct parents

conformant parents

ABSTRACT_BACKTRACKING_POOL

Summary

creation features

exported features

Details

get_fresh_instance: ABSTRACT_BACKTRACKING_CUT_POINT

creation of a new instance

get_instance: X_

Returns an instance from the current pool.

ensure

  • result_not_void: Result /= Void

release_instance (inst: X_)

Records the instance 'inst' into the current pool.

ensure

    clear

    Removes all recorded instances from the current pool.