ch.uzh.ifi.attempto.chartparser
Class UnificationFailedException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          ch.uzh.ifi.attempto.chartparser.UnificationFailedException

All Implemented Interfaces:

java.io.Serializable

public class UnificationFailedException
extends java.lang.Exception

This exception is thrown if one attempts to unify two objects that cannot unify.

Author:

Tobias Kuhn

See Also:

Serialized Form

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

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