Hierarchy For Package org.semanticweb.owl.explanation.impl.laconic

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
    • org.semanticweb.owl.explanation.impl.laconic.BetaGenerator
    • org.semanticweb.owl.explanation.impl.laconic.TauGenerator
  • org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator<E> (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>, org.semanticweb.owl.explanation.api.ExplanationProgressMonitor<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory<E> (implements org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>)
  • org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionMaskingTestCase
  • org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionTestCase
  • org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator (implements org.semanticweb.owl.explanation.impl.util.AxiomTransformation, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
  • org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
  • org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting
    • org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment
    • org.semanticweb.owl.explanation.impl.laconic.LaconicCheckerMode