jpt.base.errors
===============

.. py:module:: jpt.base.errors


Exceptions
----------

.. autoapisummary::

   jpt.base.errors.Unsatisfiability


Module Contents
---------------

.. py:exception:: Unsatisfiability(msg: str = None, reasons: Optional[Dict] = None)

   Bases: :py:obj:`Exception`


   Error that is raised on logically unsatisfiable inferences.

   Initialize self.  See help(type(self)) for accurate signature.


   .. py:attribute:: _reasons
      :value: None



   .. py:property:: reasons
      :type: Iterable[Tuple]