SubClassInclusionTautologyMatch1(SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionTautologyMatch1(SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionTautologyMatch1(SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }