CWB-NC Simulator Commands

• !!
• back
• break
• current
• goto
• help
• history
• quit
• random
• trace

NAME

!!

SYNOPSIS

!!

DESCRIPTION

Simulator command which repeats the previous command.

NAME

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

NAME

break

SYNOPSIS

break [-a][-d][-l] [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

    Command: sim "a.b.nil + a.c.nil"
    a.b.nil + a.c.nil
    1: -- a --> c.nil
    2: -- a --> b.nil
    cwb-nc-sim> quit
    Execution time (user,system,gc,real):(0.010,0.010,0.000,30.509)
    Command: 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

NAME

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

NAME

goto

SYNOPSIS

goto num

DESCRIPTION

Simulator command which sets the current state to state num of the current session, where 1 <= num <= 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

NAME

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.

NAME

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

NAME

quit

SYNOPSIS

quit

DESCRIPTION

Simulator command that ends the current simulator session.

NAME

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

NAME

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