Eiffeldoc: MASK_BUILDER

+

Point of view

All features

class MASK_BUILDER

Summary

manage mask on permutations and create corresponding backtracking nodes

Direct parents: Insert list: ANY

Overview

Creation features

make (situ: SITUATION)

creation

Features

make (situ: SITUATION)

creation
clear

reset the state
and_yes

make the previous association mandatory
and_no

make the previous association forbidden
is_ok: BOOLEAN

is possible (has no impossibility)
goto (it1: ITEM, it2: ITEM)

select the association of two items
get_node: BACKTRACKING_NODE_AND_LIST

create the backtracking node corresponding to the currently built masks

{}

permut: ARRAY[PERMUT]

array of permutations
mask_array: FAST_ARRAY[BIT_STRING]

array of masks
index: INTEGER_32

selected
i1: INTEGER_32

selected
i2: INTEGER_32

selected
mask: BIT_STRING

selected mask
change (test: BOOLEAN)

update the mask

make (situ: SITUATION)

effective procedure

creation

clear

effective procedure

reset the state

and_yes

effective procedure

make the previous association mandatory

and_no

effective procedure

make the previous association forbidden

is_ok: BOOLEAN

writable attribute

is possible (has no impossibility)

goto (it1: ITEM, it2: ITEM)

effective procedure

select the association of two items

ensure

mask /= Void

get_node: BACKTRACKING_NODE_AND_LIST

effective function

create the backtracking node corresponding to the currently built masks

require

is_ok

permut: ARRAY[PERMUT]

writable attribute

{}

array of permutations

mask_array: FAST_ARRAY[BIT_STRING]

writable attribute

{}

array of masks

index: INTEGER_32

writable attribute

{}

selected

i1: INTEGER_32

writable attribute

{}

selected

i2: INTEGER_32

writable attribute

{}

selected

mask: BIT_STRING

writable attribute

{}

selected mask

change (test: BOOLEAN)

effective procedure

{}

update the mask