GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
NODE_MASK
+
Point of view
All features
ANY
All features
class NODE_MASK
Summary
top
Direct parents
Inherit list:
BACKTRACKING_NODE
Overview
top
Creation features
{
ANY
}
make
(i:
INTEGER_32
, m:
BIT_STRING
)
Features
{
ANY
}
mask
:
BIT_STRING
index
:
INTEGER_32
make
(i:
INTEGER_32
, m:
BIT_STRING
)
explore
(situation:
SITUATION
)
That feature must update the state of 'explorer'.
mask
:
BIT_STRING
writable attribute
{
ANY
}
top
index
:
INTEGER_32
writable attribute
{
ANY
}
top
make
(i:
INTEGER_32
, m:
BIT_STRING
)
effective procedure
{
ANY
}
top
explore
(situation:
SITUATION
)
effective procedure
{
ANY
}
top
That feature must update the state of 'explorer'.