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

Packages that use IndexedAxiom

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

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

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

Modifier and Type	Class and Description
class	IndexedAxiomEntry<T,K extends IndexedAxiom> The wrapper class to define custom equality and hash functions for IndexedAxioms to be used in KeyEntryHashSet.

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

Modifier and Type	Method and Description
KeyEntry<T,? extends IndexedAxiom>	IndexedEntryConverter.visit(IndexedDisjointnessAxiom axiom)

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

Subclasses of IndexedAxiom in org.semanticweb.elk.reasoner.indexing.hierarchy

Modifier and Type	Class and Description
class	IndexedDisjointnessAxiom Defines the disjointness inference rule for indexed class expressions
class	IndexedSubClassOfAxiom

Fields in org.semanticweb.elk.reasoner.indexing.hierarchy with type parameters of type IndexedAxiom

Modifier and Type	Field and Description
protected KeyEntryHashSet<IndexedAxiom>	IndexedObjectCache.indexedAxiomLookup