← Back to branch summary

~tapaal-ltl/verifypn/ltl-trunk

« back to all changes in this revision

Viewing changes to src/VerifyPN.cpp

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-04-09 13:30:34 UTC
  • Revision ID: nikolaj@njulrik.dk-20210409133034-d3but0v2cig8ivqa
Fix out of date documentation string

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/VerifyPN.cpp
473
473
                    "                                       - dot   (default) Write the buchi in GraphViz Dot format\n"
474
474
                    "                                       - hoa   Write the buchi in the Hanoi Omega-Automata Format\n"
475
475
                    "                                       - spin  Write the buchi in the spin model checker format.\n"
476
 
                    "  --compress-aps                       Disable compression of atomic propositions in LTL.\n"
477
 
                    "                                       This compression significantly helps in dealing with massive\n"
478
 
                    "                                       fireability queries, but sometimes hurts Büchi construction \n"
479
 
                    "                                       and query simplifation in complex queries.\n"
 
476
                    "  --compress-aps                       Enable compression of atomic propositions in LTL.\n"
 
477
                    "                                       For some queries this helps reduce the overhead of query\n"
 
478
                    "                                       simplification and Büchi construction, but gives worse\n"
 
479
                    "                                       results since there is less opportunity for optimizations.\n"
480
480
                    "\n"
481
481
                    "Return Values:\n"
482
482
                    "  0   Successful, query satisfiable\n"