private void applyDecompositionRules(Context context, IndexedClass changedICE) { localDecompositionRuleHits_++; LOGGER_.trace("{}: applying decomposition rules for {}", context, changedICE); classDecomposition_.accept(ruleAppVisitor, changedICE, context, saturationStateWriter); }
private void applyDecompositionRules(Context context, IndexedClass changedICE) { localDecompositionRuleHits_++; LOGGER_.trace("{}: applying decomposition rules for {}", context, changedICE); classDecomposition_.accept(ruleAppVisitor, changedICE, context, saturationStateWriter); }
private void applyDecompositionRules(Context context, IndexedClass changedICE) { localDecompositionRuleHits_++; LOGGER_.trace("{}: applying decomposition rules for {}", context, changedICE); classDecomposition_.accept(ruleAppVisitor, changedICE, context, saturationStateWriter); }
@Override public Void visit(IndexedObjectSomeValuesFrom element) { IndexedObjectSomeValuesFromDecomposition.getInstance().accept( ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedIndividual element) { ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectHasSelf element) { IndexedObjectHasSelfDecomposition.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedIndividual element) { ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedIndividual element) { ComposedFromDecomposedSubsumerRule.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectSomeValuesFrom element) { IndexedObjectSomeValuesFromDecomposition.getInstance().accept( ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectHasSelf element) { IndexedObjectHasSelfDecomposition.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectSomeValuesFrom element) { IndexedObjectSomeValuesFromDecomposition.getInstance().accept( ruleVisitor_, element, premises_, producer_); return null; }
@Override public Void visit(IndexedObjectHasSelf element) { IndexedObjectHasSelfDecomposition.getInstance().accept(ruleVisitor_, element, premises_, producer_); return null; }