Documentation

How to Use

java -jar lmntal.jar [options...]                 --> start interactive mode
java -jar lmntal.jar [options...] [filenames...]  --> load from files and run
java -jar lmntal.jar [options...] -e 'program'    --> run a one-liner program

Interactive Mode

Interactive mode will start when filenames are not specified in the command line. The process to be executed can be given in multiple lines. Press the enter key twice to finish the process and execute it.

The following list shows some interactive-mode commands:

q             - quit
h             - see help
trace|notrace - set trace mode
verbose [0-9] - set verbose level
shuffle [0-3] - set shuffle level

Here is an example of an interactive mode session:

% java -jar lmntal.jar [PRESS ENTER]
        LMNtal version 0.64.20040611

Type h to see help.
Type q to quit.
Enter an empty line to run the input.

# A=f(f(f(f(f(A))))), c,c, ( c, X=f(Y) :- X=g(Y) ) [PRESS ENTER]
[PRESS ENTER]
f(g(g(f(f(_4)))),_4), @601
# A=f(f(f(f(f(A))))), c,c, ( c, X=f(Y) :- X=g(Y) ) [PRESS ENTER]
[PRESS ENTER]
g(f(f(f(g(_24)))),_24), @604
# q [PRESS ENTER]
%

Options

-t            - trace mode
-v[0-9]       - set verbose level ( -v = -v5 )
-s[0-3]       - set shuffle level ( -s = -s3 )
-g            - graphical mode (experimental)

Verbose Level

Expresses how verbosely an LMNtal process is displayed.

  0: silence
  2: default
  3: print `proxy atoms' and contents of rulesets
  4: expand operators
  5: expand atoms (default)
  6: expand rulesets

Shuffle Level

Expresses how randomly the execution goes on.

  0: use an atom stack for each membrane (atoms are selected in LIFO manner)
  1: default (atoms are selected in some arbitrary manner, not random nor LIFO)
  2: select atoms and membranes randomly from a membrane
  3: select atoms, membranes and rules randomly from a membrane

Graphical Mode (experimental)

In graphical mode, a window is displayed that visualizes the content of the atoms and links at the root (top-level) membrane. Pressing space bar or clicking on 'Go ahead' button will proceed the computation step by step. Atoms can be dragged to arbitrary positions so that the graph can be viewed better. To terminate the execution, please close the window manually.


Reload   New Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup   Help   RSS of recent changes
Last-modified: 2017-03-02 (Thu) 03:32:49 (268d)