!!
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.nilSEE 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 | nilSEE 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 eSEE ALSO
history