@Override public SubClassInclusionExpandedSubClassOfMatch2 getSubClassInclusionExpandedSubClassOfMatch2( SubClassInclusionExpandedSubClassOfMatch1 parent, IndexedSubClassOfAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionExpandedSubClassOfMatch2(parent, secondPremiseMatch); }
SubClassInclusionExpandedSubClassOfMatch2( SubClassInclusionExpandedSubClassOfMatch1 parent, IndexedSubClassOfAxiomMatch2 secondPremiseMatch) { super(parent); this.premiseSubsumerMatch_ = secondPremiseMatch.getSubClassMatch(); this.conclusionSubsumerMatch_ = secondPremiseMatch.getSuperClassMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
IndexedSubClassOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubClassOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getPremiseSubsumerMatch(), getConclusionSubsumerMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
@Override public Void visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); ElkClassExpression premiseSubsumerMatch = inferenceMatch2 .getPremiseSubsumerMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), premiseSubsumerMatch, conclusionSubsumerMatch); return null; }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
@Override public Void visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); ElkClassExpression premiseSubsumerMatch = inferenceMatch2 .getPremiseSubsumerMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), premiseSubsumerMatch, conclusionSubsumerMatch); return null; }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedSubClassOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubClassOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getPremiseSubsumerMatch(), getConclusionSubsumerMatch()); }
SubClassInclusionExpandedSubClassOfMatch2( SubClassInclusionExpandedSubClassOfMatch1 parent, IndexedSubClassOfAxiomMatch2 secondPremiseMatch) { super(parent); this.premiseSubsumerMatch_ = secondPremiseMatch.getSubClassMatch(); this.conclusionSubsumerMatch_ = secondPremiseMatch.getSuperClassMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
@Override public Void visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); ElkClassExpression premiseSubsumerMatch = inferenceMatch2 .getPremiseSubsumerMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), premiseSubsumerMatch, conclusionSubsumerMatch); return null; }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public SubClassInclusionExpandedSubClassOfMatch2 getSubClassInclusionExpandedSubClassOfMatch2( SubClassInclusionExpandedSubClassOfMatch1 parent, IndexedSubClassOfAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionExpandedSubClassOfMatch2(parent, secondPremiseMatch); }