edu.isi.powerloom.logic
Class Clash

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

IntervalClash, TruthValueClash, UnificationClash, VariableValueClash

public class Clash
extends LogicException

See Also:

Serialized Form

Field Summary

Context	context The context in which the clash occurred
Proposition	proposition The main proposition involved in the clash

Constructor Summary

Clash(java.lang.String message)

Method Summary

static Clash

newClash(java.lang.String message)

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

proposition

public Proposition proposition

The main proposition involved in the clash

context

public Context context

The context in which the clash occurred

Constructor Detail

Clash

public Clash(java.lang.String message)

Method Detail

newClash

public static Clash newClash(java.lang.String message)