jpt.base.errors

Exceptions

Unsatisfiability

Error that is raised on logically unsatisfiable inferences.

Module Contents

exception jpt.base.errors.Unsatisfiability(msg: str = None, reasons: Dict | None = None)

Bases: Exception

Error that is raised on logically unsatisfiable inferences.

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

_reasons = None

property reasons: Iterable[Tuple]