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

Packages that use IndexedObjectIntersectionOf

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 IndexedObjectIntersectionOf in org.semanticweb.elk.reasoner.indexing.entries

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

class

IndexedObjectIntersectionOfEntry<T,K extends IndexedObjectIntersectionOf> Implements an equality view for instances of IndexedObjectIntersectionOf

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

IndexedClassExpressionEntry<T,IndexedObjectIntersectionOf>

IndexedEntryConverter.visit(IndexedObjectIntersectionOf element)

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

IndexedClassExpressionEntry<T,IndexedObjectIntersectionOf>

IndexedEntryConverter.visit(IndexedObjectIntersectionOf element)

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

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

IndexedObjectIntersectionOf

IndexedObjectCache.visit(IndexedObjectIntersectionOf element)

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

Map<IndexedClassExpression,IndexedObjectIntersectionOf>

IndexedObjectIntersectionOf.ThisCompositionRule.getConjunctionsByConjunct()

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

IndexedObjectIntersectionOf

IndexedObjectCache.visit(IndexedObjectIntersectionOf element)

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

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

O	IndexedObjectIntersectionOfVisitor.visit(IndexedObjectIntersectionOf element)
O	AbstractIndexedClassEntityVisitor.visit(IndexedObjectIntersectionOf element)

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

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

void	DecompositionRuleApplicationCounterVisitor.visit(IndexedObjectIntersectionOf ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedObjectIntersectionOf ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedObjectIntersectionOf ice, Context context)