+
Point of view
All features
class STRING_NODE
Summary
Direct parents
Inherit list: BACKTRACKING_NODE
Overview
Creation features
{ANY}
Features
{ANY}
value: STRING
writable attribute
{ANY}
make (val: STRING)
effective procedure
{ANY}
ensure
explore (expander: EXPAND_EXPRESSION)
effective procedure
{ANY}
That feature must update the state of 'explorer'.