edu.isi.powerloom.logic
Class IntervalClash

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              edu.isi.stella.StellaException
                  edu.isi.powerloom.logic.LogicException
                      edu.isi.powerloom.logic.Clash
                          edu.isi.powerloom.logic.IntervalClash

All Implemented Interfaces:

java.io.Serializable

public class IntervalClash
extends Clash

See Also:

Serialized Form

Field Summary

LogicObject	intervalMember The owner of the interval cache that is unsatisfiable.
Stella_Object	lowerBound
boolean	strictLowerBoundP
boolean	strictUpperBoundP
Stella_Object	upperBound

Fields inherited from class edu.isi.powerloom.logic.Clash

context, proposition

Constructor Summary

IntervalClash(java.lang.String message)

Method Summary

static IntervalClash

newIntervalClash(java.lang.String message)

Methods inherited from class edu.isi.powerloom.logic.Clash

newClash

Methods inherited from class edu.isi.powerloom.logic.LogicException

newLogicException

Methods inherited from class edu.isi.stella.StellaException

newStellaException

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

Field Detail

intervalMember

public LogicObject intervalMember

The owner of the interval cache that is unsatisfiable.

lowerBound

public Stella_Object lowerBound

upperBound

public Stella_Object upperBound

strictLowerBoundP

public boolean strictLowerBoundP

strictUpperBoundP

public boolean strictUpperBoundP

Constructor Detail

IntervalClash

public IntervalClash(java.lang.String message)

Method Detail

newIntervalClash

public static IntervalClash newIntervalClash(java.lang.String message)