+
Point of view
All features
class AUTOMATON_CONTEXT [E_]
Summary
top
Direct parents
Insert list: ANY
Overview
top
Creation features
{AUTOMATON}
Features
user data
{ANY}
state memo
{AUTOMATON}
{}
data: E_
writable attribute
{ANY}
top
is_valid: BOOLEAN
writable attribute
{ANY}
top
current_state: STATE[E_]
writable attribute
{ANY}
top
set_current_state (s: STATE[E_])
effective procedure
{AUTOMATON}
top
require
  • s /= Void
ensure
invalidate
effective procedure
{AUTOMATON}
top
ensure
make (e: E_)
effective procedure
{}
top
ensure