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

Packages that use IndexedAxiom

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

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

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

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

protected KeyEntryHashSet<IndexedAxiom>

IndexedObjectCache.indexedAxiomLookup