it.unibo.tuprolog.solve.exception

Classes

Name	Description
`class HaltException: ResolutionException`	An exception thrown if there are problems during state machine execution, and solution process should be halted
`abstract class LogicError: ResolutionException`	Base class for errors which may occur during resolution, possibly because of Primitives execution
`open class ResolutionException: TuPrologException`	An exception that could occur during Solver execution
`class TimeOutException: ResolutionException`	Exception thrown if time for execution finished, before completion of solution process
`abstract class Warning: ResolutionException`	Base class for Prolog warnings

Subpackages

Name	Description
`package it.unibo.tuprolog.solve.exception.error`
`package it.unibo.tuprolog.solve.exception.warning`