@Override public O visit(IndexedClassDecompositionRule rule, IndexedClass premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeIndexedClassDecompositionRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeIndexedClassDecompositionRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(IndexedObjectIntersectionOfDecomposition rule, IndexedObjectIntersectionOf premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeIndexedObjectIntersectionOfDecomposition -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeIndexedObjectIntersectionOfDecomposition += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(OwlThingContextInitRule rule, ContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeOwlThingContextInitRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeOwlThingContextInitRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(PropagationInitializationRule rule, SubContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timePropagationInitializationRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timePropagationInitializationRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(ReflexiveBackwardLinkCompositionRule rule, ForwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeReflexiveBackwardLinkCompositionRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeReflexiveBackwardLinkCompositionRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(EquivalentClassFirstFromSecondRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeEquivalentClassFirstFromSecondRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeEquivalentClassFirstFromSecondRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(SubClassInclusionComposed conclusion) { timer_.timeComposedSubsumers -= CachedTimeThread.getCurrentTimeMillis(); O result = processor_.visit(conclusion); timer_.timeComposedSubsumers += CachedTimeThread.getCurrentTimeMillis(); return result; }
@Override public void process(Context context) { long ts = CachedTimeThread.getCurrentTimeMillis(); processor_.process(context); localStats_.changeInitContextProcessingTime += (CachedTimeThread .getCurrentTimeMillis() - ts); }
@Override public O visit(ClassInconsistency conclusion) { timer_.timeContradictions -= CachedTimeThread.getCurrentTimeMillis(); O result = processor_.visit(conclusion); timer_.timeContradictions += CachedTimeThread.getCurrentTimeMillis(); return result; }
@Override public O visit(ContradictionOverBackwardLinkRule rule, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeContradictionOverBackwardLinkRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeContradictionOverBackwardLinkRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(IndexedClassFromDefinitionRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeIndexedClassFromDefinitionRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeIndexedClassFromDefinitionRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(IndexedObjectComplementOfDecomposition rule, IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeIndexedObjectComplementOfDecomposition -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeIndexedObjectComplementOfDecomposition += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(OwlThingContextInitRule rule, ContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeOwlThingContextInitRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeOwlThingContextInitRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(EquivalentClassFirstFromSecondRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeEquivalentClassFirstFromSecondRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeEquivalentClassFirstFromSecondRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(ContradictionPropagationRule rule, ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeContradictionPropagationRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeContradictionPropagationRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(RootContextInitializationRule rule, ContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeRootContextInitializationRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeRootContextInitializationRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(EquivalentClassSecondFromFirstRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeEquivalentClassSecondFromFirstRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeEquivalentClassSecondFromFirstRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(ContradictionFromOwlNothingRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeContradictionFromOwlNothingRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeContradictionFromOwlNothingRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(ContradictionPropagationRule rule, ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeContradictionPropagationRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeContradictionPropagationRule += CachedTimeThread .getCurrentTimeMillis(); return result; }
@Override public O visit(DisjointSubsumerFromMemberRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { timer_.timeDisjointSubsumerFromMemberRule -= CachedTimeThread .getCurrentTimeMillis(); O result = visitor_.visit(rule, premise, premises, producer); timer_.timeDisjointSubsumerFromMemberRule += CachedTimeThread .getCurrentTimeMillis(); return result; }