Command-line reference

NAME
       bigrapher - An implementation of Bigraphical Reactive System (BRS)
       that supports bigraphs with sharing, stochastic reaction rules, rule
       priorities, and functional rules.

SYNOPSIS
       bigrapher [COMMAND] …

COMMANDS
       format [OPTION]… [FILE]
           Automatically reformat a model.

       full [OPTION]… [FILE]
           Compute the transition system of a model.

       interactive [OPTION]… [FILE]
           Explore a model interactively, choosing at each step which rule to
           apply.

       sim [OPTION]… [FILE]
           Simulate a model.

       validate [OPTION]… [FILE]
           Parse a model and check its validity.

OPTIONS
       -C, --config
           Print a summary of your configuration.

COMMON OPTIONS
       --help[=FMT] (default=auto)
           Show this help in format FMT. The value FMT must be one of auto,
           pager, groff or plain. With auto, the format is pager or plain
           whenever the TERM env var is dumb or undefined.

       --version
           Show version information.

EXIT STATUS
       bigrapher exits with:

       0   on success.

       1   on model errors (parse, validation, type, flag mismatch), export
           failures, or missing external dependencies (e.g. `dot').

       124 on command line parsing errors.

       125 on unexpected internal errors (bugs).