@Override public String visit(SubClassInclusionComposedObjectUnionOf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public IndexedContextRoot getOrigin() { return getDestination(); }
@Override public O visit(SubClassInclusionComposedObjectUnionOf inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
public SubClassInclusionComposed getPremise( SubClassInclusionComposed.Factory factory) { return factory.getSubClassInclusionComposed(getOrigin(), getSubsumer().getDisjuncts().get(position_)); }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < disjunctions_.size(); i++) { producer.produce(new SubClassInclusionComposedObjectUnionOf( premises.getRoot(), disjunctions_.get(i), positions_.get(i))); } }
public int getPosition() { return getParent().getPosition(); }
@Override public O visit(SubClassInclusionComposedObjectUnionOf inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
public SubClassInclusionComposed getPremise( SubClassInclusionComposed.Factory factory) { return factory.getSubClassInclusionComposed(getOrigin(), getSubsumer().getDisjuncts().get(position_)); }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < disjunctions_.size(); i++) { producer.produce(new SubClassInclusionComposedObjectUnionOf( premises.getRoot(), disjunctions_.get(i), positions_.get(i))); } }
public int getPosition() { return getParent().getPosition(); }
@Override public String visit(SubClassInclusionComposedObjectUnionOf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public O visit(SubClassInclusionComposedObjectUnionOf inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
public SubClassInclusionComposed getPremise( SubClassInclusionComposed.Factory factory) { return factory.getSubClassInclusionComposed(getOrigin(), getSubsumer().getDisjuncts().get(position_)); }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < disjunctions_.size(); i++) { producer.produce(new SubClassInclusionComposedObjectUnionOf( premises.getRoot(), disjunctions_.get(i), positions_.get(i))); } }
@Override public IndexedContextRoot getOrigin() { return getDestination(); }