@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), getOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getConclusionSubsumerPrefixLength() - 1)); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), getOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getConclusionSubsumerPrefixLength() - 1)); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), getOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getConclusionSubsumerPrefixLength() - 1)); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getFullSubsumerMatch(), getConclusionSubsumerPrefixLength()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getFullSubsumerMatch(), getConclusionSubsumerPrefixLength()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getFullSubsumerMatch(), getConclusionSubsumerPrefixLength()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }