stp.BVRedOr
===========

.. autofunction:: stp.BVRedOr