@Override public BackwardLinkChainFromBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new BackwardLinkChainFromBackwardLinkRule(tail); } };
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.addRuleFor(conclusion, ContextImpl.this); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.containsRuleFor( conclusion, ContextImpl.this); }
@Override public void applyTracing(BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { apply(link.getRelation().getSaturated() .getNonRedundantCompositionsByRightSubProperty(), link, premises, producer); apply(link.getRelation().getSaturated() .getRedundantCompositionsByRightSubProperty(), link, premises, producer); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.removeRuleFor( conclusion, ContextImpl.this); }
@Override public Void visit(BackwardLinkChainFromBackwardLinkRule rule, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedPropertyChain prop : rule .getForwardLinksByObjectProperty().keySet()) { for (IndexedContextRoot target : rule .getForwardLinksByObjectProperty().get(prop)) { target.accept(rootValidator_); } } return null; }
@Override public void apply(BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { apply(link.getRelation().getSaturated() .getNonRedundantCompositionsByRightSubProperty(), link, premises, producer); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.removeRuleFor( conclusion, ContextImpl.this); }
@Override public void apply(BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { apply(link.getRelation().getSaturated() .getNonRedundantCompositionsByRightSubProperty(), link, premises, producer); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.removeRuleFor( conclusion, ContextImpl.this); }
@Override public BackwardLinkChainFromBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new BackwardLinkChainFromBackwardLinkRule(tail); } };
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.addRuleFor(conclusion, ContextImpl.this); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.containsRuleFor( conclusion, ContextImpl.this); }
@Override public void applyTracing(BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { apply(link.getRelation().getSaturated() .getNonRedundantCompositionsByRightSubProperty(), link, premises, producer); apply(link.getRelation().getSaturated() .getRedundantCompositionsByRightSubProperty(), link, premises, producer); }
@Override public BackwardLinkChainFromBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new BackwardLinkChainFromBackwardLinkRule(tail); } };
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.addRuleFor(conclusion, ContextImpl.this); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.containsRuleFor( conclusion, ContextImpl.this); }
@Override public void apply(BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { apply(link.getRelation().getSaturated() .getNonRedundantCompositionsByRightSubProperty(), link, premises, producer); }
@Override public void applyTracing(BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { apply(link.getRelation().getSaturated() .getNonRedundantCompositionsByRightSubProperty(), link, premises, producer); apply(link.getRelation().getSaturated() .getRedundantCompositionsByRightSubProperty(), link, premises, producer); }