Uses of Class
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

Packages that use IndexedObjectSomeValuesFrom

Package	Description
org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.indexing.visitors
org.semanticweb.elk.reasoner.saturation.rules

Uses of IndexedObjectSomeValuesFrom in org.semanticweb.elk.reasoner.indexing.entries

Classes in org.semanticweb.elk.reasoner.indexing.entries with type parameters of type IndexedObjectSomeValuesFrom

Modifier and Type	Class and Description
class	IndexedObjectSomeValuesFromEntry<T,K extends IndexedObjectSomeValuesFrom> Implements equality for instances of IndexedObjectSomeValuesFrom

Methods in org.semanticweb.elk.reasoner.indexing.entries that return types with arguments of type IndexedObjectSomeValuesFrom

Modifier and Type	Method and Description
IndexedClassExpressionEntry<T,IndexedObjectSomeValuesFrom>	IndexedEntryConverter.visit(IndexedObjectSomeValuesFrom element)

Methods in org.semanticweb.elk.reasoner.indexing.entries with parameters of type IndexedObjectSomeValuesFrom

Modifier and Type	Method and Description
IndexedClassExpressionEntry<T,IndexedObjectSomeValuesFrom>	IndexedEntryConverter.visit(IndexedObjectSomeValuesFrom element)

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

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return IndexedObjectSomeValuesFrom

Modifier and Type	Method and Description
IndexedObjectSomeValuesFrom	IndexedObjectCache.visit(IndexedObjectSomeValuesFrom element)

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type IndexedObjectSomeValuesFrom

Modifier and Type	Method and Description
Collection<IndexedObjectSomeValuesFrom>	IndexedObjectSomeValuesFrom.ThisCompositionRule.getNegativeExistentials()

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

Modifier and Type	Method and Description
IndexedObjectSomeValuesFrom	IndexedObjectCache.visit(IndexedObjectSomeValuesFrom element)

Uses of IndexedObjectSomeValuesFrom in org.semanticweb.elk.reasoner.indexing.visitors

Methods in org.semanticweb.elk.reasoner.indexing.visitors with parameters of type IndexedObjectSomeValuesFrom

Modifier and Type	Method and Description
O	IndexedObjectSomeValuesFromVisitor.visit(IndexedObjectSomeValuesFrom element)
O	AbstractIndexedClassEntityVisitor.visit(IndexedObjectSomeValuesFrom element)

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

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

Modifier and Type	Method and Description
void	ForwardDecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	BackwardDecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)