kodkod.engine.fol2sat
Class TranslationAbortedException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by kodkod.engine.fol2sat.TranslationAbortedException
All Implemented Interfaces:
java.io.Serializable

public final class TranslationAbortedException
extends java.lang.RuntimeException

Thrown when translation is aborted by calling Thread.interrupt().

Author:
Emina Torlak
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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait