+
Point of view
All features
class NODE_MASK
Summary
top
Direct parents
Inherit list: BACKTRACKING_NODE
Overview
top
Creation features
{ANY}
Features
{ANY}
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'.