deferred class ABSTRACT_BACKTRACKING_POOLABLE

All features

Alternatives and sequences MUST be managed in a pool. The ability to be in a pool is declared in that class.

Direct parents

non-conformant parents

ANY

Known children

conformant children

ABSTRACT_BACKTRACKING_ALTERNATIVE, ABSTRACT_BACKTRACKING_SEQUENCE

Summary

exported features

Details

release

Called by ABSTRACT_BACKTRACKING to release current instance to the pool.

require

  • pool /= Void

get_twin: ABSTRACT_BACKTRACKING_POOLABLE

Return a twin of current from the pool

require

  • pool /= Void

ensure

  • Result.is_equal(Current)

deferred pool: ABSTRACT_BACKTRACKING_POOL[ABSTRACT_BACKTRACKING_POOLABLE]

The pool that will record Current

pool_link: ABSTRACT_BACKTRACKING_POOLABLE

Internal link used by the pool to chain its poolable items. Technical note: to give more freedom for further usages of 'pool_link' it is not defined with type anchorage.

set_pool_link (other: ABSTRACT_BACKTRACKING_POOLABLE)

Set 'pool_link' to 'other'

ensure

  • definition: pool_link = other