+
Point of view
All features
class EXPAND_SEQUENCE
Summary
top
Overview
top
Features
{ANY}
{ABSTRACT_BACKTRACKING}
{}
{EXPAND_EXPRESSION}
{ABSTRACT_BACKTRACKING_POOL, ABSTRACT_BACKTRACKING}
{ABSTRACT_BACKTRACKING}
{ANY}
{ABSTRACT_BACKTRACKING_POOL}
{}
once function
{ANY}
top
The pool that will record Current
next_sequence (explorer: EXPAND_EXPRESSION)
effective procedure
{ABSTRACT_BACKTRACKING}
top
Called by ABSTRACT_BACKTRACKING to let the current object switch to the next state to explore.
Two actions must be performed by that feature: 
  - make iteration actions and then call
     'pop_sequence' if this is the last state
     to be explored.
  - select the state to be evaluated or
     call 'continue' or call 'backtrack'.
require
  • is_on_top: Current = explorer.top_sequence
writable attribute
{}
top
make (itm: EXPRESSION_ITEM)
effective procedure
{EXPAND_EXPRESSION}
top
writable attribute
{ABSTRACT_BACKTRACKING_POOL, ABSTRACT_BACKTRACKING}
top
For the linked stack of sequences.
Managed by ABSTRACT_BACKTRACKING.
writable attribute
{ABSTRACT_BACKTRACKING}
top
The sequence to continue after a success in exploration of the current sequence.
Managed by ABSTRACT_BACKTRACKING.
set_continuation (value: ABSTRACT_BACKTRACKING_SEQUENCE)
effective procedure
{ABSTRACT_BACKTRACKING}
top
ensure
release
effective procedure
{ANY}
top
Called by ABSTRACT_BACKTRACKING to release current instance to the pool.
require
get_twin: EXPAND_SEQUENCE
effective function
{ANY}
top
Return a twin of current from the pool
require ensure
writable attribute
{ABSTRACT_BACKTRACKING_POOL}
top
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)
effective procedure
{ABSTRACT_BACKTRACKING_POOL}
top
Set 'pool_link' to 'other'
ensure
Failure_item: INTEGER_32
is 1
constant attribute
{}
top
Value_item: INTEGER_32
is 2
constant attribute
{}
top
Or_item: INTEGER_32
is 3
constant attribute
{}
top
And_item: INTEGER_32
is 4
constant attribute
{}
top
Empty_item: INTEGER_32
is 5
constant attribute
{}
top
Success_item: INTEGER_32
is 6
constant attribute
{}
top
Iterate: BOOLEAN
is True
constant attribute
{}
top
alternative_pool: POOL_ALTERNATIVE
once function
{}
top
sequence_pool: POOL_SEQUENCE
once function
{}
top