kodkod.engine.fol2sat
Class UnboundLeafException

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

public final class UnboundLeafException
extends java.lang.RuntimeException

Thrown when a node contains an undeclared variable or a relation with no bounds.

Author:
Emina Torlak
See Also:
Serialized Form
specfield:
leaf: LeafExpression // the unbound leaf that caused the exception to be thrown

Method Summary
 LeafExpression leaf()
          Returns this.leaf.
 
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

leaf

public LeafExpression leaf()
Returns this.leaf.

Returns:
this.leaf