@Override public Boolean visit(SubsumerSingletonObjectOneOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectOneOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
public ElkIndividual getMember() { return getValue().getIndividuals().get(0); }
@Override public SubsumerMatch visit(ElkObjectOneOf match) { switch (match.getIndividuals().size()) { case 0: return new SubsumerEmptyObjectOneOfMatch(match); case 1: return new SubsumerSingletonObjectOneOfMatch(match); default: return new SubsumerObjectOneOfMatch(match); } }
@Override public SubsumerMatch visit(ElkObjectOneOf match) { switch (match.getIndividuals().size()) { case 0: return new SubsumerEmptyObjectOneOfMatch(match); case 1: return new SubsumerSingletonObjectOneOfMatch(match); default: return new SubsumerObjectOneOfMatch(match); } }
@Override public Boolean visit(SubsumerSingletonObjectOneOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectOneOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
@Override public SubsumerMatch visit(ElkObjectOneOf match) { switch (match.getIndividuals().size()) { case 0: return new SubsumerEmptyObjectOneOfMatch(match); case 1: return new SubsumerSingletonObjectOneOfMatch(match); default: return new SubsumerObjectOneOfMatch(match); } }
public ElkIndividual getMember() { return getValue().getIndividuals().get(0); }
@Override public Boolean visit(SubsumerSingletonObjectOneOfMatch match) { inferenceFactory_ .getSubClassInclusionComposedSingletonObjectOneOfMatch1( parent, destinationMatch, match.getMember()); return true; }
public ElkIndividual getMember() { return getValue().getIndividuals().get(0); }
@Override public Boolean visit(SubsumerSingletonObjectOneOfMatch match) { inferenceFactory_ .getSubClassInclusionComposedSingletonObjectOneOfMatch1( parent, destinationMatch, match.getMember()); return true; }
@Override public Boolean visit(SubsumerSingletonObjectOneOfMatch match) { inferenceFactory_ .getSubClassInclusionComposedSingletonObjectOneOfMatch1( parent, destinationMatch, match.getMember()); return true; }
@Override public Boolean visit(SubsumerSingletonObjectOneOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectOneOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }