GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
MASK_BUILDER
+
Point of view
All features
ANY
All features
class MASK_BUILDER
Summary
top
manage mask on permutations and create corresponding backtracking nodes
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
(situ:
SITUATION
)
creation
Features
{
ANY
}
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
{
ANY
}
top
creation
clear
effective procedure
{
ANY
}
top
reset the state
and_yes
effective procedure
{
ANY
}
top
make the previous association mandatory
and_no
effective procedure
{
ANY
}
top
make the previous association forbidden
is_ok
:
BOOLEAN
writable attribute
{
ANY
}
top
is possible (has no impossibility)
goto
(it1:
ITEM
, it2:
ITEM
)
effective procedure
{
ANY
}
top
select the association of two items
ensure
mask
/= Void
get_node
:
BACKTRACKING_NODE_AND_LIST
effective function
{
ANY
}
top
create the backtracking node corresponding to the currently built masks
require
is_ok
permut
:
ARRAY
[
PERMUT
]
writable attribute
{}
top
array of permutations
mask_array
:
FAST_ARRAY
[
BIT_STRING
]
writable attribute
{}
top
array of masks
index
:
INTEGER_32
writable attribute
{}
top
selected
i1
:
INTEGER_32
writable attribute
{}
top
selected
i2
:
INTEGER_32
writable attribute
{}
top
selected
mask
:
BIT_STRING
writable attribute
{}
top
selected mask
change
(test:
BOOLEAN
)
effective procedure
{}
top
update the mask