stp.is_bv
=========

.. autofunction:: stp.is_bv