@Override public SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkClassExpression disjunctMatch) { return filter(mainFactory_ .getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, disjunctMatch)); }
@Override public SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkClassExpression disjunctMatch) { return filter(mainFactory_ .getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, disjunctMatch)); }
@Override public Boolean visit(SubsumerSingletonObjectUnionOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
@Override public Boolean visit(SubsumerSingletonObjectUnionOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
@Override public SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkClassExpression disjunctMatch) { return filter(mainFactory_ .getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, disjunctMatch)); }
@Override public Boolean visit(SubsumerSingletonObjectUnionOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }