class BACKTRACKING_POOL_OF_ALTERNATIVE

All features

Pool of simple node alternatives

Direct parents

conformant parents

ABSTRACT_BACKTRACKING_POOL

Summary

creation features

exported features

Details

get_fresh_instance: BACKTRACKING_ALTERNATIVE

Returns a freshly created 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

  • instance_on_top: pool_of_instances.item = inst
  • previous_top_chained: inst.pool_link = old pool_of_instances.item

clear

Removes all recorded instances from the current pool.

pool_of_instances: WEAK_REFERENCE[X_]

Head of the recorded instances

make

creation