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

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

All Implemented Interfaces:

ConclusionVisitor<Boolean>

public class ConclusionDeletionVisitor
extends Object
implements ConclusionVisitor<Boolean>

Field Summary

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

DUMMY

Constructor Summary

ConclusionDeletionVisitor()

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

ConclusionDeletionVisitor

public ConclusionDeletionVisitor()

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>