@Override public void apply(BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new ClassInconsistencyPropagated(premise)); }
@Override public void apply(BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new ClassInconsistencyPropagated(premise)); }
@Override public void apply(BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new ClassInconsistencyPropagated(premise)); }
@Override public void apply(ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subPremises = premises .getSubContextPremisesByObjectProperty(); // no need to propagate over reflexive links for (IndexedObjectProperty propRelation : subPremises.keySet()) { for (IndexedContextRoot target : subPremises.get(propRelation) .getLinkedRoots()) { // producer.produce(target, premise); producer.produce(new ClassInconsistencyPropagated( premises.getRoot(), propRelation, target)); } } }
@Override public void apply(ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subPremises = premises .getSubContextPremisesByObjectProperty(); // no need to propagate over reflexive links for (IndexedObjectProperty propRelation : subPremises.keySet()) { for (IndexedContextRoot target : subPremises.get(propRelation) .getLinkedRoots()) { // producer.produce(target, premise); producer.produce(new ClassInconsistencyPropagated( premises.getRoot(), propRelation, target)); } } }
@Override public void apply(ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subPremises = premises .getSubContextPremisesByObjectProperty(); // no need to propagate over reflexive links for (IndexedObjectProperty propRelation : subPremises.keySet()) { for (IndexedContextRoot target : subPremises.get(propRelation) .getLinkedRoots()) { // producer.produce(target, premise); producer.produce(new ClassInconsistencyPropagated( premises.getRoot(), propRelation, target)); } } }