Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

Packages that use BasicSaturationStateWriter
org.semanticweb.elk.reasoner.indexing.hierarchy   
org.semanticweb.elk.reasoner.saturation   
org.semanticweb.elk.reasoner.saturation.conclusions   
org.semanticweb.elk.reasoner.saturation.rules   
 

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

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type BasicSaturationStateWriter
 void IndexedObjectIntersectionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectComplementOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void DirectIndex.ContextRootInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedClass.OwlThingContextInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectUnionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectSomeValuesFrom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedSubClassOfAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedDisjointnessAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedDisjointnessAxiom.ThisContradictionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectIntersectionOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectComplementOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void DirectIndex.ContextRootInitializationRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedClass.OwlThingContextInitializationRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectUnionOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedObjectSomeValuesFrom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedSubClassOfAxiom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedDisjointnessAxiom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
           
 void IndexedDisjointnessAxiom.ThisContradictionRule.apply(BasicSaturationStateWriter writer, Context context)
           
static void IndexedObjectSomeValuesFrom.generatePropagations(BasicSaturationStateWriter writer, IndexedPropertyChain property, Context context)
           
 

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

Subinterfaces of BasicSaturationStateWriter in org.semanticweb.elk.reasoner.saturation
 interface ExtendedSaturationStateWriter
          The extended writer for situations when new contexts may need to be created/initialized or removed.
 

Methods in org.semanticweb.elk.reasoner.saturation that return BasicSaturationStateWriter
 BasicSaturationStateWriter SaturationState.getWriter(ConclusionVisitor<?> conclusionVisitor)
           
 BasicSaturationStateWriter SaturationState.getWriter(ContextModificationListener contextModificationListener, ConclusionVisitor<?> conclusionVisitor)
           
 

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type BasicSaturationStateWriter
static void SaturationUtils.initContext(Context context, BasicSaturationStateWriter writer, OntologyIndex index, RuleApplicationVisitor ruleAppVisitor)
          Applies all initialization rules to the context
 

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

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type BasicSaturationStateWriter
 void ForwardLink.ThisBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void Contradiction.ContradictionBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void Propagation.ThisBackwardLinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void ForwardLink.ThisBackwardLinkRule.apply(BasicSaturationStateWriter engine, BackwardLink link)
           
 void Contradiction.ContradictionBackwardLinkRule.apply(BasicSaturationStateWriter engine, BackwardLink link)
           
 void Propagation.ThisBackwardLinkRule.apply(BasicSaturationStateWriter writer, BackwardLink link)
           
 void DisjointnessAxiom.apply(BasicSaturationStateWriter engine, Context context)
           
 void ForwardLink.apply(BasicSaturationStateWriter engine, Context context)
           
 void Contradiction.apply(BasicSaturationStateWriter engine, Context context)
           
 void Propagation.apply(BasicSaturationStateWriter writer, Context context)
           
 void NegativeSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
           
 void BackwardLink.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
           
 void PositiveSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
           
protected  void Subsumer.applyCompositionRules(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
           
 void Contradiction.deapply(BasicSaturationStateWriter engine, Context context)
           
 

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type BasicSaturationStateWriter
ConclusionApplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
           
ConclusionDeapplicationVisitor(BasicSaturationStateWriter writer, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
           
ConclusionSourceUnsaturationVisitor(BasicSaturationStateWriter writer)
           
 

Uses of BasicSaturationStateWriter in org.semanticweb.elk.reasoner.saturation.rules
 

Methods in org.semanticweb.elk.reasoner.saturation.rules that return BasicSaturationStateWriter
protected  BasicSaturationStateWriter ContextCleaningFactory.CleaningEngine.getSaturationStateWriter()
           
protected abstract  BasicSaturationStateWriter RuleApplicationFactory.BaseEngine.getSaturationStateWriter()
           
protected  BasicSaturationStateWriter ForwardDecompositionRuleApplicationVisitor.getSaturationStateWriter()
           
protected  BasicSaturationStateWriter RuleDeapplicationFactory.DeapplicationEngine.getSaturationStateWriter()
           
protected  BasicSaturationStateWriter BackwardDecompositionRuleApplicationVisitor.getSaturationStateWriter()
           
 

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type BasicSaturationStateWriter
 void LinkRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, E element)
           
 void Rule.apply(BasicSaturationStateWriter engine, E element)
          Applying the rule to an element within a BasicSaturationStateWriter
protected  ConclusionVisitor<Boolean> RuleApplicationFactory.BaseEngine.getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)
          Returns the base ConclusionVisitor that performs processing of Conclusions within a Context.
protected  ConclusionVisitor<Boolean> RuleDeapplicationFactory.DeapplicationEngine.getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)
           
protected  ConclusionVisitor<?> RuleApplicationFactory.BaseEngine.getConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)
          Returns the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts
 void RuleApplicationTimerVisitor.visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void BasicCompositionRuleApplicationVisitor.visit(Contradiction.ContradictionBackwardLinkRule rule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationVisitor.visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationCounterVisitor.visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationTimerVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(DirectIndex.ContextRootInitializationRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void BasicCompositionRuleApplicationVisitor.visit(ForwardLink.ThisBackwardLinkRule rule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationVisitor.visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationCounterVisitor.visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationTimerVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void BasicCompositionRuleApplicationVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationCounterVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
           
 void RuleApplicationTimerVisitor.visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void BasicCompositionRuleApplicationVisitor.visit(Propagation.ThisBackwardLinkRule rule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationVisitor.visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 void RuleApplicationCounterVisitor.visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
           
 

Constructors in org.semanticweb.elk.reasoner.saturation.rules with parameters of type BasicSaturationStateWriter
BackwardDecompositionRuleApplicationVisitor(BasicSaturationStateWriter writer)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.