region-diagram-generator (pl.py)

A script to convert storm-pars region results to TikZ region diagrams

General information

The script expects the output of storm-pars using the --resultfile​ argument.

Usage

• Running only pl.py without passing arguments, will scan the input directory for files with a .regionresult extension and output these files in the output directory

• You can recursively search the input directory for said files and mimick the folder structure within the output directory automatically by supplying -r

• Specifying a --file will only convert this file. You can specify where to write the results using --output-file. If nothing is supplied, the result is written to STDOUT instead. This means

  • ./pl.py --file ./input/example.tex --output-file ./output/example.tex, and
  • ./pl.py --file ./input/example.tex > ./output/example.tex

  behave identically, except that no help information is printed to STDOUT in the latter case.

• Many more settings are available. See the --help page for more information.

Disclaimer

This script is an extension of Linus' pl.py implementation