edu.isi.powerloom.logic
Class VariableValueClash

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

All Implemented Interfaces:

java.io.Serializable

public class VariableValueClash
extends Clash

See Also:

Serialized Form

Field Summary

Skolem	skolem Skolem which is getting multiple values.
Stella_Object	value1 First value in value clash
Stella_Object	value2 Second value in value clash

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

context, proposition

Constructor Summary

VariableValueClash(java.lang.String message)

Method Summary

static VariableValueClash

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

skolem

public Skolem skolem

Skolem which is getting multiple values.

value1

public Stella_Object value1

First value in value clash

value2

public Stella_Object value2

Second value in value clash

Constructor Detail

VariableValueClash

public VariableValueClash(java.lang.String message)

Method Detail

newVariableValueClash

public static VariableValueClash newVariableValueClash(java.lang.String message)