deferred class ABSTRACT_BACKTRACKING_POOL [X_ -> ABSTRACT_BACKTRACKING_POOLABLE]

Features exported to ANY

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

    clear

    Removes all recorded instances from the current pool.