specless.automaton.mps.BMPS\_exact
==================================

.. currentmodule:: specless.automaton.mps

.. autofunction:: BMPS_exact