@Override public String visit( SubClassInclusionDecomposedFirstConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionDecomposedFirstConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionDecomposedFirstConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength() - 1); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength() - 1); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), 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()); }