+
Point of view
All features
class SITUATION
Summary
top
Direct parents
Inherit list: BACKTRACKING
Class invariant
top
Overview
top
Features
{ANY}
{}
{ANY}
internal
{}
Common client features
{ANY}
Control of the exploration
{ANY}
Internal
{}
Specific to sequences
{ABSTRACT_BACKTRACKING_SEQUENCE}
Specific to alternatives
{ABSTRACT_BACKTRACKING_ALTERNATIVE}
internal: allocation and collection
{}
{ANY}
the pools
{ANY}
description: DESCRIPTION
writable attribute
{ANY}
top
dimension: INTEGER_32
writable attribute
{ANY}
top
pdim: INTEGER_32
writable attribute
{ANY}
top
wdim: INTEGER_32
writable attribute
{ANY}
top
permut: ARRAY[PERMUT]
writable attribute
{ANY}
top
solution: FAST_ARRAY[PERMUT]
writable attribute
{ANY}
top
p: PERMUT
writable attribute
{ANY}
top
q: PERMUT
writable attribute
{ANY}
top
situation: FAST_ARRAY[BIT_STRING]
writable attribute
{ANY}
top
undo_masks: FAST_ARRAY[BIT_STRING]
writable attribute
{ANY}
top
undo_index: FAST_ARRAY[INTEGER_32]
writable attribute
{ANY}
top
undo_top: INTEGER_32
writable attribute
{ANY}
top
nrsol: INTEGER_32
writable attribute
{ANY}
top
make (the_desc: DESCRIPTION)
effective procedure
{ANY}
top
require
  • the_desc.is_valid
solve
effective procedure
{ANY}
top
index (g1: GROUP, g2: GROUP): INTEGER_32
effective function
{ANY}
top
The index of the group pair
require
  • g1 /= g2
index_integer (g1: INTEGER_32, g2: INTEGER_32): INTEGER_32
effective function
{ANY}
top
the index of the pair
require
  • g1 < g2
context_clear
effective procedure
{ANY}
top
Clear any saved context.
Called by the features clear and search_first.
context_push
effective procedure
{ANY}
top
Push the current context.
Called each time that an alternative begins.
context_restore
effective procedure
{ANY}
top
Restore the context to the last saved one.
The saved context MUST remain available for future use. Called each time that a new alternative (of the previous alternative point) is starting.
context_restore_and_pop
effective procedure
{ANY}
top
Restore the context to the last saved one and drop it.
The saved context MUST be removed. Called each time that the last alternative (of the previous alternative point) is starting. Should be similar to context_restore followed by context_cut.
context_cut
effective procedure
{ANY}
top
no cut allowed
change (idx: INTEGER_32, mask: BIT_STRING): BOOLEAN
effective function
{ANY}
top
success
effective procedure
{ANY}
top
try_solution (idx: INTEGER_32)
effective procedure
{ANY}
top
if idx is a valid group index then test if that group 'idx'
require
  • idx > 0
is_ok (mid: INTEGER_32, last: INTEGER_32): BOOLEAN
effective function
{ANY}
top
require
  • mid > 0
  • last > mid
index_of_permut (x: PERMUT): INTEGER_32
effective function
{ANY}
top
the index of the permutation 'x' side effect: alter q
print_solution
effective procedure
{ANY}
top
print_dash_line
effective procedure
{ANY}
top
print_head_line
effective procedure
{ANY}
top
print_content_lines
effective procedure
{ANY}
top
print_group_pair (g1: GROUP, g2: GROUP)
effective procedure
{ANY}
top
effective function
{}
top
make_permut (pos: INTEGER_32)
effective procedure
{}
top
set_current_node (node: BACKTRACKING_NODE)
effective procedure
{ANY}
top
Sets the next node of the BACKTRACKING_NODE graph to evaluate.
ensure
push_and (node: BACKTRACKING_NODE)
effective procedure
{ANY}
top
Pushes node in front of the continuation path.
require
  • node_not_void: node /= Void
push_and_list (list: BACKTRACKING_NODE_AND_LIST)
effective procedure
{ANY}
top
Pushes list in front of the continuation path.
require
  • list_not_void: list /= Void
push_or (node: BACKTRACKING_NODE)
effective procedure
{ANY}
top
Pushes node in front of the possible alternatives.
require
  • node_not_void: node /= Void
push_or_list (list: BACKTRACKING_NODE_OR_LIST)
effective procedure
{ANY}
top
Pushes list in front of the possible alternatives.
require
  • list_not_void: list /= Void
current_node: BACKTRACKING_NODE
writable attribute
{}
top
Current node of the BACKTRACKING_NODE graph to be evaluated.
evaluate_current_state
effective procedure
{}
top
That feature is called to evaluate the current state
search_first
effective procedure
{ANY}
top
Resets all and searches the first solution.
The current state must be set. It is the first state, the root of the search. When the feature returns, 'search_is_success' must be checked to know if a solution was found. When search_is_success=False, it means that there is no solution at all. Conversely, if search_is_success=True, then the first solution is found and 'search_next' can be called to get the next solution if it exists.
ensure
search_next
effective procedure
{ANY}
top
Searches the next solution.
When the feature returns, 'search_is_success' must be checked to know if a solution was found. When search_is_success=False at the end, it means that there is no more solution. Conversely, if search_is_success=True, then a solution is found and 'search_next' can be called again to get the next solution.
require ensure
search_is_success: BOOLEAN
writable attribute
{ANY}
top
True when search is successful
is_off: BOOLEAN
effective function
{ANY}
top
True when search is finished
ensure
clear
effective procedure
{ANY}
top
Clears the current state to nothing.
ensure
is_cleared: BOOLEAN
effective function
{ANY}
top
True if no partial data remain in the current state
ensure
  • no_solution_when_cleared: Result implies is_off
push_sequence (sequence: ABSTRACT_BACKTRACKING_SEQUENCE)
effective procedure
{ANY}
top
Pushes the sequence in front of the continuation path.
require
  • sequence_not_void: sequence /= Void
ensure
push_alternative (alternative: ABSTRACT_BACKTRACKING_ALTERNATIVE)
effective procedure
{ANY}
top
Pushes the alternative before the continuation path.
require
  • alternative_not_void: alternative /= Void
ensure
continue
effective procedure
{ANY}
top
Continues the exploration of the current path.
backtrack
effective procedure
{ANY}
top
Stops the exploration of the current path and tries to explore the next alternative path.
push_cut_point
effective procedure
{ANY}
top
Inserts a cut point into the continuation path.
The inserted cut point records the current top of the alternatives.
cut
effective procedure
{ANY}
top
Removes the alternatives until the one recorded by the next cut point in the continuation path.
cut_all
effective procedure
{ANY}
top
Cuts all alternatives.
stop_search_loop: BOOLEAN
writable attribute
{}
top
True if at the end of a search.
This occurs if either a solution is found (and then search_is_success=True) or no solution is found (and then search_is_success=False). That feature should be modified only by continue and backtrack.
search
effective procedure
{}
top
Common search loop to search_first and search_next
cut_until (alternative: ABSTRACT_BACKTRACKING_ALTERNATIVE)
effective procedure
{}
top
Cut all alternatives until 'alternative'.
To cut an alternative is currently to remove it.
ensure
writable attribute
{ABSTRACT_BACKTRACKING_SEQUENCE}
top
Stack of sequences represented by its top (can be Void)
current_continuation: ABSTRACT_BACKTRACKING_SEQUENCE
writable attribute
{ABSTRACT_BACKTRACKING_SEQUENCE}
top
The current continuation path
pop_sequence
effective procedure
{ABSTRACT_BACKTRACKING_SEQUENCE}
top
Removes the current sequence and replace it by the next sequence in the continuation path.
require
writable attribute
{ABSTRACT_BACKTRACKING_ALTERNATIVE}
top
Stack of alternatives represented by its top (can be Void)
continue_alternative
effective procedure
{ABSTRACT_BACKTRACKING_ALTERNATIVE}
top
Returns to the alternative on the top of the stack and put its saved continuation path as the current continuation path.
require ensure
pop_alternative
effective procedure
{ABSTRACT_BACKTRACKING_ALTERNATIVE}
top
Returns to the alternative on the top of the stack and put its saved continuation path as the current continuation path.
Remove the alternative from the stack of alternatives. Same as continue_alternative but also removes the alternative.
require ensure
remove_top_sequence
effective procedure
{}
top
Removes the top sequence.
require ensure
remove_top_alternative
effective procedure
{}
top
Removes the top alternative.
require ensure
once function
{ANY}
top
Bank of cut points
once function
{ANY}
top
pool_of_sequence_list: BACKTRACKING_POOL_OF_SEQUENCE_LIST
once function
{ANY}
top
pool_of_alternative: BACKTRACKING_POOL_OF_ALTERNATIVE
once function
{ANY}
top
pool_of_alternative_list: BACKTRACKING_POOL_OF_ALTERNATIVE_LIST
once function
{ANY}
top