Source code for theory.exceptions

"""
.. module:: theoryExceptions
   :synopsis: Contains exceptions for SModelS's theory package.

.. moduleauthor:: Andre Lessa <lessa.a.p@gmail.com>

"""


class SModelSTheoryError(Exception):
    """
    Class to define SModelS specific errors
    """

    def __init__(self, value=None):
        self.value = value
        Exception.__init__(self, value)

    def __str__(self):
        return repr(self.value)