class ABSTRACT_BACKTRACKING_CUT_POINT
Summary
Overview
exported features
writable attribute
Record of what top of the stack of alternative is to restore when cut is called.
set_top_alternative (value: ABSTRACT_BACKTRACKING_ALTERNATIVE)
effective procedure
next_sequence (explorer: ABSTRACT_BACKTRACKING)
effective procedure
Do nothing: remove itself (as if it were the end of a sequence) and evaluate the continuation by issuing a 'continue'.
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: ABSTRACT_BACKTRACKING_CUT_POINT
effective function
Return a twin of current from the pool
pool: ABSTRACT_BACKTRACKING_POOL[ABSTRACT_BACKTRACKING_CUT_POINT]
deferred function
The pool that will record Current
once function
Bank of cut points