@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getPremiseSubsumerPrefixLength() - 1)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getPremiseSubsumerPrefixLength() - 1)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getPremiseSubsumerPrefixLength() - 1)); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }