to the initial step, followed

_START Initial state Tries

are the initial point

. Initialize default Creates

the Initialize button. The MFA

=0.0.0.0). Initial state ("Reset

trace initially [...] initially : The trace is initially halted

Type Initial Value [...] Initial Value

into an initial step

Data Type Initial