@Override public String visit( SubClassInclusionExpandedSecondEquivalentClassMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedSecondEquivalentClassMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedSecondEquivalentClassMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getConclusionSubsumerMatch(), getPremiseSubsumerMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getConclusionSubsumerMatch(), getPremiseSubsumerMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getConclusionSubsumerMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }