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

Packages that use ConclusionVisitor

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

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

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

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

static ConclusionVisitor<?>

ConclusionVisitor.DUMMY A dummy visitor, does nothing

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

<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

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

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

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