class BACKTRACKING_SEQUENCE
Summary
Overview
exported features
the pools
writable attribute
next node
set_next (value: BACKTRACKING_NODE)
effective procedure
next_sequence (explorer: BACKTRACKING)
effective procedure
Called by ABSTRACT_BACKTRACKING to let the current object switch to the next state to explore.
writable attribute
For the linked stack of sequences.
writable attribute
The sequence to continue after a success in exploration of the current sequence.
set_continuation (value: ABSTRACT_BACKTRACKING_SEQUENCE)
effective procedure
release
effective procedure
Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
get_twin: BACKTRACKING_SEQUENCE
effective function
Return a twin of current from the pool
pool: ABSTRACT_BACKTRACKING_POOL[BACKTRACKING_SEQUENCE]
deferred function
The pool that will record Current
once function
pool_of_sequence_list: BACKTRACKING_POOL_OF_SEQUENCE_LIST
once function
pool_of_alternative: BACKTRACKING_POOL_OF_ALTERNATIVE
once function
pool_of_alternative_list: BACKTRACKING_POOL_OF_ALTERNATIVE_LIST
once function