Uses of Interface
org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Packages that use ModifiableOntologyIndex

Package	Description
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.stages

Uses of ModifiableOntologyIndex in org.semanticweb.elk.reasoner.indexing.hierarchy

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement ModifiableOntologyIndex

Modifier and Type	Class and Description
class	DifferentialIndex An object representing incremental changes in the index.
class	DirectIndex

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type ModifiableOntologyIndex

Modifier and Type	Method and Description
protected void	IndexedSubClassOfAxiom.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment)
protected void	IndexedDisjointnessAxiom.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment)
protected void	IndexedObjectIntersectionOf.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedClass.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedObjectSomeValuesFrom.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedIndividual.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedDataHasValue.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)

Constructors in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type ModifiableOntologyIndex

Constructor and Description
MainAxiomIndexerVisitor(ModifiableOntologyIndex index, boolean insert)

Uses of ModifiableOntologyIndex in org.semanticweb.elk.reasoner.stages

Methods in org.semanticweb.elk.reasoner.stages that return ModifiableOntologyIndex

Modifier and Type	Method and Description
protected ModifiableOntologyIndex	AbstractReasonerState.getModifiableOntologyIndex()