@Override public String visit( SubClassInclusionComposedSingletonObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedSingletonObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedSingletonObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1(getParent(), getDestinationMatch(), disjunctMatch_); }
@Override public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1(getParent(), getDestinationMatch(), disjunctMatch_); }
@Override public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1(getParent(), getDestinationMatch(), disjunctMatch_); }
@Override SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1(getParent(), getDestinationMatch(), factory.getObjectUnionOf( Collections.singletonList(disjunctMatch_))); }
@Override SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1(getParent(), getDestinationMatch(), factory.getObjectUnionOf( Collections.singletonList(disjunctMatch_))); }
@Override SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1(getParent(), getDestinationMatch(), factory.getObjectUnionOf( Collections.singletonList(disjunctMatch_))); }