Class UnificationFailedException

  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by ch.uzh.ifi.attempto.chartparser.UnificationFailedException
All Implemented Interfaces:

public class UnificationFailedException
extends java.lang.Exception

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

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

Copyright 2008-2012, AceWiki developers