=========================
:mod:`pytableaux.errors`
=========================

.. contents:: Contents
  :local:
  :depth: 2

.. module:: pytableaux.errors

Classes
=======

.. autoclass::  IllegalStateError
    :show-inheritance:

.. autoclass::  ProofTimeoutError
    :show-inheritance:

.. autoclass::  ParseError
    :show-inheritance:

.. autoclass::  UnboundVariableError
    :show-inheritance:

.. autoclass::  BoundVariableError
    :show-inheritance:

.. autoclass::  MissingAttributeError
    :show-inheritance:

.. autoclass::  AttributeConflictError
    :show-inheritance:

.. autoclass::  DuplicateKeyError
    :show-inheritance:

.. autoclass::  MissingKeyError
    :show-inheritance:

.. autoclass::  DuplicateValueError
    :show-inheritance:

.. autoclass::  MissingValueError
    :show-inheritance:

.. autoclass::  ConfigError
    :show-inheritance:

.. autoclass::  ModelValueError
    :show-inheritance:

.. autoclass::  DenotationError
    :show-inheritance: