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

Packages that use IndexedDisjointnessAxiom

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
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context

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

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

Modifier and Type	Class and Description
class	IndexedDisjointnessAxiomEntry<T,K extends IndexedDisjointnessAxiom> Implements an equality view for instances of IndexedDisjointnessAxiom

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

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

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

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

Modifier and Type	Method and Description
IndexedDisjointnessAxiom	IndexedObjectCache.visit(IndexedDisjointnessAxiom axiom)

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

Modifier and Type	Method and Description
Set<IndexedDisjointnessAxiom>	IndexedDisjointnessAxiom.ThisCompositionRule.getDisjointnessAxioms()

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

Modifier and Type	Method and Description
IndexedDisjointnessAxiom	IndexedObjectCache.visit(IndexedDisjointnessAxiom axiom)

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

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

Modifier and Type	Method and Description
O	IndexedDisjointnessAxiomVisitor.visit(IndexedDisjointnessAxiom axiom)

Uses of IndexedDisjointnessAxiom in org.semanticweb.elk.reasoner.saturation

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

Modifier and Type	Method and Description
boolean	ContextImpl.addDisjointnessAxiom(IndexedDisjointnessAxiom disjointnessAxiom)
boolean	ContextImpl.containsDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	ContextImpl.inconsistencyDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	ContextImpl.removeDisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Uses of IndexedDisjointnessAxiom in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return IndexedDisjointnessAxiom

Modifier and Type	Method and Description
IndexedDisjointnessAxiom	DisjointnessAxiom.getAxiom()

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type IndexedDisjointnessAxiom

Constructor and Description
DisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Uses of IndexedDisjointnessAxiom in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context with parameters of type IndexedDisjointnessAxiom

Modifier and Type	Method and Description
boolean	Context.addDisjointnessAxiom(IndexedDisjointnessAxiom axiom) Adds one instance of IndexedDisjointnessAxiom to this Context.
boolean	Context.containsDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	Context.inconsistencyDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	Context.removeDisjointnessAxiom(IndexedDisjointnessAxiom axiom) Removes one instance of the given IndexedDisjointnessAxiom from this Context.