deferred class ABSTRACT_BACKTRACKING_POOL [X_ -> ABSTRACT_BACKTRACKING_POOLABLE]

All features

Pools for the ABSTRACT_BACKTRACKING

Direct parents

non-conformant parents

ANY

Known children

conformant children

ABSTRACT_BACKTRACKING_POOL_OF_CUT_POINT, BACKTRACKING_POOL_OF_ALTERNATIVE, BACKTRACKING_POOL_OF_ALTERNATIVE_LIST, BACKTRACKING_POOL_OF_SEQUENCE, BACKTRACKING_POOL_OF_SEQUENCE_LIST

Summary

exported features

Details

get_instance: X_

Returns an instance from the current pool.

ensure

  • result_not_void: Result /= Void

deferred get_fresh_instance: X_

Returns a freshly created instance.

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