edu.isi.powerloom.logic
Class UnificationClash

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.UnificationClash

All Implemented Interfaces:

java.io.Serializable

public class UnificationClash
extends Clash

See Also:

Serialized Form

Field Summary

Stella_Object	value1 First value in unification clash
Stella_Object	value2 Second value in unification clash

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

context, proposition

Constructor Summary

UnificationClash(java.lang.String message)

Method Summary

static UnificationClash

newUnificationClash(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

value1

public Stella_Object value1

First value in unification clash

value2

public Stella_Object value2

Second value in unification clash

Constructor Detail

UnificationClash

public UnificationClash(java.lang.String message)

Method Detail

newUnificationClash

public static UnificationClash newUnificationClash(java.lang.String message)