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

Packages that use IndexedObjectComplementOf

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

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

class

IndexedObjectComplementOfEntry<T,K extends IndexedObjectComplementOf> Implements an equality view for instances of IndexedObjectComplementOf

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

IndexedClassExpressionEntry<T,IndexedObjectComplementOf>

IndexedEntryConverter.visit(IndexedObjectComplementOf element)

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

IndexedClassExpressionEntry<T,IndexedObjectComplementOf>

IndexedEntryConverter.visit(IndexedObjectComplementOf element)

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

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

IndexedObjectComplementOf

IndexedObjectCache.visit(IndexedObjectComplementOf element)

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

IndexedObjectComplementOf

IndexedObjectCache.visit(IndexedObjectComplementOf element)

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

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

O	IndexedObjectComplementOfVisitor.visit(IndexedObjectComplementOf element)
O	AbstractIndexedClassEntityVisitor.visit(IndexedObjectComplementOf element)

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

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

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