org.semanticweb.elk.reasoner.saturation.conclusions
Class Contradiction

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion
      org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction

All Implemented Interfaces:

Conclusion

public class Contradiction
extends AbstractConclusion

Author:

Pavel Klinov pavel.klinov@uni-ulm.de, "Yevgeny Kazakov"

Nested Class Summary

static class

Contradiction.ContradictionBackwardLinkRule A backward link rule to propagate contradiction through any new backward links

Method Summary

<R> R	accept(ConclusionVisitor<R> visitor, Context context)
void	apply(BasicSaturationStateWriter engine, Context context)
void	deapply(BasicSaturationStateWriter engine, Context context)
static Contradiction	getInstance()
String	toString()

Methods inherited from class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

getSourceContext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getInstance

public static Contradiction getInstance()

deapply

public void deapply(BasicSaturationStateWriter engine,
                    Context context)

apply

public void apply(BasicSaturationStateWriter engine,
                  Context context)

accept

public <R> R accept(ConclusionVisitor<R> visitor,
                    Context context)

toString

public String toString()

Overrides:

toString in class Object