@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectSomeValuesFrom inference) { return inference.getConclusion(conclusionFactory_); }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public ClassConclusion visit( SubClassInclusionObjectHasSelfPropertyRange inference) { return inference.getConclusion(conclusionFactory_); }
@Override public Boolean visit(BackwardLinkOfObjectSomeValuesFrom inference) { for (int i = 0; i < visitors_.length; i++) { if (!visitors_[i].visit(inference)) return false; } return true; }
@Override public final <O> O accept( SubClassInclusionDecomposedInference.Visitor<O> visitor) { return visitor.visit(this); }
@Override public final <O> O accept( SubClassInclusionComposedInference.Visitor<O> visitor) { return visitor.visit(this); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Boolean visit(SubClassInclusionComposedEntity inference) { for (int i = 0; i < visitors_.length; i++) { if (!visitors_[i].visit(inference)) return false; } return true; }
@Override public Boolean visit(SubClassInclusionDecomposedFirstConjunct inference) { for (int i = 0; i < visitors_.length; i++) { if (!visitors_[i].visit(inference)) return false; } return true; }