org.jpc.term.unification

Class NonUnifiableException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.jpc.term.unification.NonUnifiableException

All Implemented Interfaces:

Serializable

public class NonUnifiableException
extends RuntimeException

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NonUnifiableException(Term term1, Term term2)
NonUnifiableException(Term term1, Term term2, NonUnifiableException cause)

Method Summary

Modifier and Type	Method and Description
String	getMessage()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NonUnifiableException

public NonUnifiableException(Term term1,
                             Term term2,
                             NonUnifiableException cause)

NonUnifiableException

public NonUnifiableException(Term term1,
                             Term term2)

Method Detail

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable