.. index:: pbesinfo

.. _tool-pbesinfo:

pbesinfo
========

This tool prints some basic information about a file containing a parameterised
Boolean equation system. It indicates the number of minimal and maximal fixed
point equations, as well as the alternation depth of the PBES. Optionally, the
parameterised variables of the PBES can also be listed.


.. include:: man/pbesinfo.rst