stp.is_bv_value
===============

.. autofunction:: stp.is_bv_value