Uses of Class
com.articulate.sigma.tp.ATPException

Packages that use ATPException

Package	Description
com.articulate.sigma.tp

Uses of ATPException in com.articulate.sigma.tp

Subclasses of ATPException in com.articulate.sigma.tp

Modifier and Type	Class	Description
class	ArityException	Exception thrown when a formula has an incorrect arity for a predicate.
class	ExecutableNotFoundException	Exception thrown when an ATP executable (Vampire, EProver, LEO-III, etc.) is not found at the configured path or is not executable.
class	FormulaTranslationException	Exception thrown when a formula cannot be translated from SUO-KIF to a target format (TPTP, TFF, THF).
class	ProverCrashedException	Exception thrown when an ATP process crashes or is killed by a signal.
class	ProverTimeoutException	Exception thrown when an ATP process times out.

Methods in com.articulate.sigma.tp that return ATPException

Modifier and Type	Method	Description
ATPException	ATPException.Builder.build()