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

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

All Implemented Interfaces:

ConclusionVisitor<Boolean>

public class ConclusionSourceUnsaturationVisitor
extends Object
implements ConclusionVisitor<Boolean>

A ConclusionVisitor that marks the source context of the conclusion as not saturated

Author:

"Yevgeny Kazakov"

Field Summary

Fields inherited from interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

DUMMY

Constructor Summary

ConclusionSourceUnsaturationVisitor(BasicSaturationStateWriter writer)

Method Summary

Boolean	visit(BackwardLink link, Context context)
Boolean	visit(Contradiction bot, Context context)
Boolean	visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	visit(ForwardLink link, Context context)
Boolean	visit(NegativeSubsumer negSCE, Context context)
Boolean	visit(PositiveSubsumer posSCE, Context context)
Boolean	visit(Propagation propagation, Context context)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConclusionSourceUnsaturationVisitor

public ConclusionSourceUnsaturationVisitor(BasicSaturationStateWriter writer)

Method Detail

visit

public Boolean visit(NegativeSubsumer negSCE,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>

visit

public Boolean visit(PositiveSubsumer posSCE,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>

visit

public Boolean visit(BackwardLink link,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>

visit

public Boolean visit(ForwardLink link,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>

visit

public Boolean visit(Contradiction bot,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>

visit

public Boolean visit(Propagation propagation,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>

visit

public Boolean visit(DisjointnessAxiom disjointnessAxiom,
                     Context context)

Specified by:

visit in interface ConclusionVisitor<Boolean>