Uses of Interface
org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

Packages that use ConclusionVisitor

Package	Description
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.rules

Uses of ConclusionVisitor in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation that return ConclusionVisitor

Modifier and Type	Method and Description
static ConclusionVisitor<?>	SaturationUtils.addStatsToConclusionVisitor(ConclusionStatistics localStatistics)
static ConclusionVisitor<?>	SaturationUtils.getProcessedConclusionCountingProcessor(ConclusionVisitor<Boolean> conclusionVisitor, SaturationStatistics localStatistics)
static ConclusionVisitor<Boolean>	SaturationUtils.getUsedConclusionCountingProcessor(ConclusionVisitor<Boolean> ruleProcessor, SaturationStatistics localStatistics)

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type ConclusionVisitor

Modifier and Type	Method and Description
ExtendedSaturationStateWriter	SaturationState.getExtendedWriter(ConclusionVisitor<?> conclusionVisitor)
ExtendedSaturationStateWriter	SaturationState.getExtendedWriter(ContextCreationListener contextCreationListener, ContextModificationListener contextModificationListener, RuleApplicationVisitor ruleAppVisitor, ConclusionVisitor<?> conclusionVisitor, boolean trackNewContextsAsUnsaturated) Creates a new ExtendedSaturationStateWriter for modifying this SaturationState associated with the given ContextCreationListener.
static ConclusionVisitor<?>	SaturationUtils.getProcessedConclusionCountingProcessor(ConclusionVisitor<Boolean> conclusionVisitor, SaturationStatistics localStatistics)
static ConclusionVisitor<Boolean>	SaturationUtils.getUsedConclusionCountingProcessor(ConclusionVisitor<Boolean> ruleProcessor, SaturationStatistics localStatistics)
BasicSaturationStateWriter	SaturationState.getWriter(ConclusionVisitor<?> conclusionVisitor)
BasicSaturationStateWriter	SaturationState.getWriter(ContextModificationListener contextModificationListener, ConclusionVisitor<?> conclusionVisitor)

Uses of ConclusionVisitor in org.semanticweb.elk.reasoner.saturation.conclusions

Classes in org.semanticweb.elk.reasoner.saturation.conclusions that implement ConclusionVisitor

Modifier and Type	Class and Description
class	CombinedConclusionVisitor
class	ConclusionApplicationVisitor
class	ConclusionDeapplicationVisitor
class	ConclusionDeletionVisitor
class	ConclusionInsertionVisitor
class	ConclusionOccurranceCheckingVisitor
class	ConclusionSourceUnsaturationVisitor A ConclusionVisitor that marks the source context of the conclusion as not saturated
class	CountingConclusionVisitor
class	PreprocessedConclusionVisitor<T>
class	TimedConclusionVisitor

Fields in org.semanticweb.elk.reasoner.saturation.conclusions declared as ConclusionVisitor

Modifier and Type	Field and Description
static ConclusionVisitor<?>	ConclusionVisitor.DUMMY A dummy visitor, does nothing

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionVisitor

Modifier and Type	Method and Description
<R> R	Conclusion.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	NegativeSubsumer.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	DisjointnessAxiom.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	ForwardLink.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	PositiveSubsumer.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	BackwardLink.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	Contradiction.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	Propagation.accept(ConclusionVisitor<R> visitor, Context context)

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionVisitor

Constructor and Description
CombinedConclusionVisitor(ConclusionVisitor<Boolean> first, ConclusionVisitor<Boolean> second)
CombinedConclusionVisitor(ConclusionVisitor<Boolean> first, ConclusionVisitor<Boolean> second)
PreprocessedConclusionVisitor(ConclusionVisitor<?> preprocessor, ConclusionVisitor<T> visitor)
PreprocessedConclusionVisitor(ConclusionVisitor<?> preprocessor, ConclusionVisitor<T> visitor)
TimedConclusionVisitor(ConclusionTimer timer, ConclusionVisitor<?> processor)

Uses of ConclusionVisitor in org.semanticweb.elk.reasoner.saturation.rules

Methods in org.semanticweb.elk.reasoner.saturation.rules that return ConclusionVisitor

Modifier and Type	Method and Description
protected ConclusionVisitor<Boolean>	RuleApplicationFactory.BaseEngine.getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the base ConclusionVisitor that performs processing of Conclusions within a Context.
protected ConclusionVisitor<Boolean>	RuleDeapplicationFactory.DeapplicationEngine.getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)
protected ConclusionVisitor<?>	RuleApplicationFactory.BaseEngine.getConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts
protected ConclusionVisitor<Boolean>	RuleApplicationFactory.BaseEngine.getUsedConclusionsCountingVisitor(ConclusionVisitor<Boolean> ruleProcessor) Filters the ConclusionVisitor that applies inference rules to Conclusions by wrapping, if necessary, with the code producing statistics

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type ConclusionVisitor

Modifier and Type	Method and Description
protected ConclusionVisitor<Boolean>	RuleApplicationFactory.BaseEngine.getUsedConclusionsCountingVisitor(ConclusionVisitor<Boolean> ruleProcessor) Filters the ConclusionVisitor that applies inference rules to Conclusions by wrapping, if necessary, with the code producing statistics