kodkod.engine.fol2sat

Class HigherOrderDeclException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

kodkod.engine.fol2sat.HigherOrderDeclException

All Implemented Interfaces:

Serializable

public final class HigherOrderDeclException
extends 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

Specfields:

decl: Decl // higher order decl that caused the exception to be thrown

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
Decl	decl() Returns this.decl

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, 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