!!
SYNOPSIS
!!
DESCRIPTION
Simulator command which repeats the previous command.
back
SYNOPSIS
back [num]
DESCRIPTION
Simulator command which erases the previous num execution steps.
EXAMPLE
cwb-nc> sim a.b.c.d.nil
a.b.c.d.nil
1: -- a --> b.c.d.nil
cwb-nc-sim> 1
b.c.d.nil
1: -- b --> c.d.nil
cwb-nc-sim> 1
c.d.nil
1: -- c --> d.nil
cwb-nc-sim> 1
d.nil
1: -- d --> nil
cwb-nc-sim> back 2
Current state moved 2 steps back.
cwb-nc-sim> current
b.c.d.nil
1: -- b --> c.d.nil
break
SYNOPSIS
break [ flag ] act-list
DESCRIPTION
Simulator command used to add (-a), delete (-d), and list (-l)
break points. An agent is interpreted as a break point if one
or more of its enabled transitions is labeled by an action in
the break point set. A message is displayed when a break point
is reached and random execution is halted. If no flag is given
then each item in the list of actions is added to the set of
break points. The act list argument is a list of actions
separated by spaces.
EXAMPLE
cwb-nc> sim "a.b.nil + a.c.nil"
a.b.nil + a.c.nil
1: -- a --> c.nil
2: -- a --> b.nil
cwb-nc-sim> break -a a b c
cwb-nc-sim> break -d a
cwb-nc-sim> break -l
b c
cwb-nc-sim> random 3
Break point
b.nil
1: -- b --> nil
current
SYNOPSIS
current
DESCRIPTION
Simulator command that displays the current agent and lists its
available transitions.
EXAMPLE
cwb-nc> sim a.b.c.nil
a.b.c.nil
1: -- a --> b.c.nil
cwb-nc-sim> 1
b.c.nil
1: -- b --> c.nil
cwb-nc-sim> 1
c.nil
1: -- c --> nil
cwb-nc-sim> current
c.nil
1: -- c --> nil
cwb-nc-sim> back 1
Current state moved 1 step back.
cwb-nc-sim> current
b.c.nil
1: -- b --> c.nil
goto
SYNOPSIS
goto num
DESCRIPTION
Simulator command which sets the current state to state
"num" of the current session, where "num" is a positive integer
less than or equal to the current state number. Note that state
numbers are displayed by the history command for each state on
the path from the start state to the current state.
EXAMPLE
cwb-nc> sim a.b.c.d.nil
a.b.c.d.nil
1: -- a --> b.c.d.nil
cwb-nc-sim> 1
b.c.d.nil
1: -- b --> c.d.nil
cwb-nc-sim> 1
c.d.nil
1: -- c --> d.nil
cwb-nc-sim> 1
d.nil
1: -- d --> nil
cwb-nc-sim> history
1: a.b.c.d.nil -- a -->
2: b.c.d.nil -- b -->
3: c.d.nil -- c -->
4: d.nil
cwb-nc-sim> goto 2
Current state moved 2 steps back.
cwb-nc-sim> current
b.c.d.nil
1: -- b --> c.d.nil
SEE ALSO
history
help
SYNOPSIS
help [command name]
DESCRIPTION
help displays information about CWB-NC commands. If
executed with no arguments, then a list of available
commands is displayed. If given a command name as an
argument, then information about the specific command
is displayed.
history
SYNOPSIS
history
DESCRIPTION
Simulator command that prints the history of the current
simulator session. Note that backtracking with the back
command removes transitions from the history; thus, the
path displayed by the history command represents a path
from the initial agent to the current agent. The states
through which the path progresses are numbered starting
with 1.
EXAMPLE
cwb-nc> sim "a.b.c.nil | d.e.nil"
a.b.c.nil | d.e.nil
1: -- d --> a.b.c.nil | e.nil
2: -- a --> b.c.nil | d.e.nil
cwb-nc-sim> 2
b.c.nil | d.e.nil
1: -- d --> b.c.nil | e.nil
2: -- b --> c.nil | d.e.nil
cwb-nc-sim> 1
b.c.nil | e.nil
1: -- e --> b.c.nil | nil
2: -- b --> c.nil | e.nil
cwb-nc-sim> 1
b.c.nil | nil
1: -- b --> c.nil | nil
cwb-nc-sim> history
1: a.b.c.nil | d.e.nil -- a -->
2: b.c.nil | d.e.nil -- d -->
3: b.c.nil | e.nil -- e -->
4: b.c.nil | nil
SEE ALSO
trace, goto
quit
SYNOPSIS
quit
DESCRIPTION
Simulator command that ends the current simulator session.
random
SYNOPSIS
random [num]
DESCRIPTION
Simulator command that simulates num random execution steps
of an agent. The default value for num is 1.
EXAMPLE
cwb-nc> sim "a.b.c.nil | d.e.nil"
a.b.c.nil | d.e.nil
1: -- d --> a.b.c.nil | e.nil
2: -- a --> b.c.nil | d.e.nil
cwb-nc-sim> random
b.c.nil | d.e.nil
1: -- d --> b.c.nil | e.nil
2: -- b --> c.nil | d.e.nil
cwb-nc-sim> random 3
c.nil | d.e.nil
1: -- d --> c.nil | e.nil
2: -- c --> nil | d.e.nil
nil | d.e.nil
1: -- d --> nil | e.nil
nil | e.nil
1: -- e --> nil | nil
cwb-nc-sim> history
1: a.b.c.nil | d.e.nil -- a -->
2: b.c.nil | d.e.nil -- b -->
3: c.nil | d.e.nil -- c -->
4: nil | d.e.nil -- d -->
5: nil | e.nil
semantics
SYNOPSIS
semantics semantic-type
DESCRIPTION
The "semantics" command sets the mode for computing transitions
in the simulator. The two available "semantic-type" arguments are
"bisim" and "obseq". The two different modes treat internal
actions differently. In "bisim" (bisimulation) mode internal
actions are treated exactly as visible actions. In "obseq"
(observational equivalence) mode the transitions displayed
are those that may be taken from the current system state by
performing zero or more internal actions followed by some action
(either visible or internal) followed by zero or more internal
actions.
EXAMPLE
trace
SYNOPSIS
trace
DESCRIPTION
Simulator command that prints the trace of the current
simulator session. Note that backtracking with the back
command removes transitions from the trace; thus, the
sequence displayed by the trace command represents a path
from the initial agent to the current agent.
EXAMPLE
cwb-nc> sim "a.b.c.nil | d.e.nil"
a.b.c.nil | d.e.nil
1: -- d --> a.b.c.nil | e.nil
2: -- a --> b.c.nil | d.e.nil
cwb-nc-sim> 2
b.c.nil | d.e.nil
1: -- d --> b.c.nil | e.nil
2: -- b --> c.nil | d.e.nil
cwb-nc-sim> 1
b.c.nil | e.nil
1: -- e --> b.c.nil | nil
2: -- b --> c.nil | e.nil
cwb-nc-sim> 1
b.c.nil | nil
1: -- b --> c.nil | nil
cwb-nc-sim> trace
a d e
SEE ALSO
history