at.jku.risc.stout.hoau.data

Class NotNormalizableException

java.lang.Object

java.lang.Throwable

java.lang.Exception

at.jku.risc.stout.hoau.util.ControlledException

at.jku.risc.stout.hoau.data.NotNormalizableException

All Implemented Interfaces:

Serializable

public class NotNormalizableException
extends ControlledException

This exception is thrown if a lambda term could not be normalized to beta normal form within the given upper bound of recursion repetitions.

Author:

Alexander Baumgartner

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NotNormalizableException()
NotNormalizableException(String message)
NotNormalizableException(String message, Throwable cause)
NotNormalizableException(Throwable cause)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NotNormalizableException

public NotNormalizableException()

NotNormalizableException

public NotNormalizableException(String message)

NotNormalizableException

public NotNormalizableException(String message,
                        Throwable cause)

NotNormalizableException

public NotNormalizableException(Throwable cause)