@Override public SubClassInclusionComposedObjectUnionOfMatch2 getSubClassInclusionComposedObjectUnionOfMatch2( SubClassInclusionComposedObjectUnionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedObjectUnionOfMatch2(parent, premiseMatch); }
SubClassInclusionComposedObjectUnionOfMatch2( SubClassInclusionComposedObjectUnionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionComposedObjectUnionOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); .getExtendedOriginMatch(); SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch();
SubClassInclusionComposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectUnionOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); .getExtendedOriginMatch(); SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch();
SubClassInclusionComposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectUnionOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); .getExtendedOriginMatch(); SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch();
SubClassInclusionComposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedObjectUnionOfMatch2( SubClassInclusionComposedObjectUnionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionComposedObjectUnionOfMatch2 getSubClassInclusionComposedObjectUnionOfMatch2( SubClassInclusionComposedObjectUnionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedObjectUnionOfMatch2(parent, premiseMatch); }
SubClassInclusionComposedObjectUnionOfMatch2( SubClassInclusionComposedObjectUnionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionComposedObjectUnionOfMatch2 getSubClassInclusionComposedObjectUnionOfMatch2( SubClassInclusionComposedObjectUnionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedObjectUnionOfMatch2(parent, premiseMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), extendedOriginMatch_); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), extendedOriginMatch_); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), extendedOriginMatch_); }