org.semanticweb.elk.reasoner.saturation.conclusions

Class ConclusionDeapplicationVisitor

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

All Implemented Interfaces:

ConclusionVisitor<Boolean>

public class ConclusionDeapplicationVisitor
extends Object
implements ConclusionVisitor<Boolean>

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

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

DUMMY

Constructor Summary

Constructors

Constructor and Description
ConclusionDeapplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)

Method Summary

Methods

Modifier and Type	Method and Description
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

ConclusionDeapplicationVisitor

public ConclusionDeapplicationVisitor(BasicSaturationStateWriter writer,
                              RuleApplicationVisitor ruleAppVisitor,
                              DecompositionRuleApplicationVisitor decompVisitor)

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>