SubClassInclusionDecomposedSecondConjunctMatch1( SubClassInclusionDecomposedSecondConjunct parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedSecondConjunctMatch1( SubClassInclusionDecomposedSecondConjunct parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedSecondConjunctMatch1( SubClassInclusionDecomposedSecondConjunct parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
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)); }