class BACKTRACKING_POOL_OF_SEQUENCE

Features exported to ANY

Pool of simple node sequences

Direct parents

conformant parents

ABSTRACT_BACKTRACKING_POOL

Summary

creation features

exported features

Details

get_fresh_instance: BACKTRACKING_SEQUENCE

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

    clear

    Removes all recorded instances from the current pool.