Hierarchy For Package org.semanticweb.elk.reasoner.saturation.rules

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor
  • org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine (implements org.semanticweb.elk.util.concurrent.computation.InputProcessor<J>, org.semanticweb.elk.reasoner.saturation.rules.RuleEngine)
    • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine
    • org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine
      • org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory.CleaningEngine
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics
  • org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter (implements org.semanticweb.elk.util.concurrent.computation.Interrupter)
    • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory
      • org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory
      • org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory
        • org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory

Interface Hierarchy

• org.semanticweb.elk.util.collections.chains.Chainable<T>
  • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
• org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor
• org.semanticweb.elk.util.collections.chains.Link<T>
  • org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.Rule<E>)
    • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
    • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
• org.semanticweb.elk.util.collections.chains.ModifiableLink<T>
  • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>)
  • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>)
• org.semanticweb.elk.reasoner.saturation.rules.Rule<E>
  • org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E> (also extends org.semanticweb.elk.util.collections.chains.Link<T>)
    • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
    • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
• org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor
• org.semanticweb.elk.reasoner.saturation.rules.RuleEngine