|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ExtendedSaturationStateWriter | |
|---|---|
| org.semanticweb.elk.reasoner.saturation | |
| org.semanticweb.elk.reasoner.saturation.rules | |
| Uses of ExtendedSaturationStateWriter in org.semanticweb.elk.reasoner.saturation |
|---|
| Methods in org.semanticweb.elk.reasoner.saturation that return ExtendedSaturationStateWriter | |
|---|---|
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. |
| Uses of ExtendedSaturationStateWriter in org.semanticweb.elk.reasoner.saturation.rules |
|---|
| Methods in org.semanticweb.elk.reasoner.saturation.rules that return ExtendedSaturationStateWriter | |
|---|---|
protected ExtendedSaturationStateWriter |
RuleApplicationFactory.DefaultEngine.getSaturationStateWriter()
|
| Constructors in org.semanticweb.elk.reasoner.saturation.rules with parameters of type ExtendedSaturationStateWriter | |
|---|---|
ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter writer)
|
|
RuleApplicationFactory.DefaultEngine(ExtendedSaturationStateWriter saturationStateWriter,
SaturationStatistics localStatistics)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||