@Override public SubClassInclusionComposedDefinedClassMatch1 getSubClassInclusionComposedDefinedClassMatch1( SubClassInclusionComposedDefinedClass parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedDefinedClassMatch1(parent, conclusionMatch); }
SubClassInclusionComposedDefinedClassMatch1( SubClassInclusionComposedDefinedClass parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); definedClassMatch_ = conclusionMatch.getSubsumerElkClassMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getDefinedClassMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getDefinitionMatch()); }
SubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression definedClass = secondPremiseMatch .getFirstMemberMatch(); if (!parent.getDefinedClassMatch().equals(definedClass)) { throw new ElkMatchException( parent.getParent().getConclusionSubsumer(), definedClass); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { IndexedEquivalentClassesAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedEquivalentClassesAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedEquivalentClassesAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClass definedClassMatch = inferenceMatch1.getDefinedClassMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definitionMatch, definedClassMatch); return null; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getDefinitionMatch()); }
SubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression definedClass = secondPremiseMatch .getFirstMemberMatch(); if (!parent.getDefinedClassMatch().equals(definedClass)) { throw new ElkMatchException( parent.getParent().getConclusionSubsumer(), definedClass); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { IndexedEquivalentClassesAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedEquivalentClassesAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedEquivalentClassesAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClass definedClassMatch = inferenceMatch1.getDefinedClassMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definitionMatch, definedClassMatch); return null; }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getDefinedClassMatch()); }
SubClassInclusionComposedDefinedClassMatch1( SubClassInclusionComposedDefinedClass parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); definedClassMatch_ = conclusionMatch.getSubsumerElkClassMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }