`pytableaux.errors`

Classes 

class IllegalStateError[source]: Bases: Exception

class ProofTimeoutError[source]: Bases: Exception

class ParseError[source]: Bases: Exception

class UnboundVariableError[source]: Bases: ParseError

class BoundVariableError[source]: Bases: ParseError

class MissingAttributeError[source]: Bases: AttributeError

class AttributeConflictError[source]: Bases: AttributeError

class DuplicateKeyError[source]: Bases: KeyError

class MissingKeyError[source]: Bases: KeyError

class DuplicateValueError[source]: Bases: ValueError

class MissingValueError[source]: Bases: ValueError

class ConfigError[source]: Bases: ValueError

class ModelValueError[source]: Bases: ValueError

class DenotationError[source]: Bases: ModelValueError