| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.saturation | |
| org.semanticweb.elk.reasoner.saturation.rules |
| Modifier and Type | Field and Description |
|---|---|
static ContextCreationListener |
ContextCreationListener.DUMMY |
| Modifier and Type | Method and Description |
|---|---|
static ContextCreationListener |
SaturationUtils.addStatsToContextCreationListener(ContextCreationListener listener,
ContextStatistics contextStats) |
| Modifier and Type | Method and Description |
|---|---|
static ContextCreationListener |
SaturationUtils.addStatsToContextCreationListener(ContextCreationListener listener,
ContextStatistics contextStats) |
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. |
| Modifier and Type | Method and Description |
|---|---|
RuleDeapplicationFactory.DeapplicationEngine |
ContextCleaningFactory.getDefaultEngine(ContextCreationListener listener,
ContextModificationListener modificationListener) |
RuleApplicationFactory.BaseEngine |
RuleApplicationFactory.getDefaultEngine(ContextCreationListener listener,
ContextModificationListener modListener) |
RuleDeapplicationFactory.DeapplicationEngine |
RuleDeapplicationFactory.getDefaultEngine(ContextCreationListener listener,
ContextModificationListener modListener) |
RuleApplicationFactory.BaseEngine |
ContextCompletionFactory.getDefaultEngine(ContextCreationListener listener,
ContextModificationListener modListener) |
| Constructor and Description |
|---|
RuleApplicationFactory.DefaultEngine(ContextCreationListener listener,
ContextModificationListener modListener) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.