kodkod.engine.fol2sat
Class HigherOrderDeclException

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

public final class HigherOrderDeclException
extends java.lang.RuntimeException

Thrown when a node contains a higher order declaration that cannot be skolemized, or it can be skolemized but skolemization is disabled.

Author:
Emina Torlak
See Also:
Serialized Form
specfield:
decl: Decl // higher order decl that caused the exception to be thrown

Method Summary
 Decl decl()
          Returns this.decl
 
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
 

Method Detail

decl

public Decl decl()
Returns this.decl

Returns:
this.decl