prodigy.analysis.exceptions

exception ForwardAnalysisError[source]

Bases: Exception

Base class for forward analysis-related exceptions.

exception ObserveZeroEventError[source]

Bases: ForwardAnalysisError

Observing an event that has zero probablity.

exception UnsupportedFeatureError[source]

Bases: ForwardAnalysisError

The program uses a language feature that the analysis has no semantics for.

exception DistributionParameterError[source]

Bases: ForwardAnalysisError

The Parameter of a Distribution does not typematch

exception VerificationError[source]

Bases: Exception

exception SolveError[source]

Bases: Exception

The solver has encountered any issue.

exception HeuristicsError[source]

Bases: Exception

Representing errors occuring in positivity heuristics.

exception ConfigurationError[source]

Bases: Exception