@Override public SubClassInclusionExpandedDefinitionMatch2 getSubClassInclusionExpandedDefinitionMatch2( SubClassInclusionExpandedDefinitionMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionExpandedDefinitionMatch2(parent, secondPremiseMatch); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getDefinedClassMatch(), getDefinitionMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getDefinitionMatch()); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), getParent().getDefinedClassMatch()); }
SubClassInclusionExpandedDefinitionMatch3( SubClassInclusionExpandedDefinitionMatch2 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); ElkClass firstSubsumer = firstPremiseMatch.getSubsumerElkClassMatch(); if (!parent.getDefinedClassMatch().equals(firstSubsumer)) { throw new ElkMatchException( getParent().getParent().getParent().getDefinedClass(), firstSubsumer); } this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionExpandedDefinitionMatch2( SubClassInclusionExpandedDefinitionMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression firstMemberMatch = secondPremiseMatch .getFirstMemberMatch(); if (firstMemberMatch instanceof ElkClass) { this.definedClassMatch_ = (ElkClass) secondPremiseMatch .getFirstMemberMatch(); } else { throw new ElkMatchException(parent.getParent().getDefinedClass(), firstMemberMatch); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getDefinitionMatch()); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), getParent().getDefinedClassMatch()); }
SubClassInclusionExpandedDefinitionMatch3( SubClassInclusionExpandedDefinitionMatch2 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); ElkClass firstSubsumer = firstPremiseMatch.getSubsumerElkClassMatch(); if (!parent.getDefinedClassMatch().equals(firstSubsumer)) { throw new ElkMatchException( getParent().getParent().getParent().getDefinedClass(), firstSubsumer); } this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionExpandedDefinitionMatch2( SubClassInclusionExpandedDefinitionMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression firstMemberMatch = secondPremiseMatch .getFirstMemberMatch(); if (firstMemberMatch instanceof ElkClass) { this.definedClassMatch_ = (ElkClass) secondPremiseMatch .getFirstMemberMatch(); } else { throw new ElkMatchException(parent.getParent().getDefinedClass(), firstMemberMatch); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getDefinedClassMatch(), getDefinitionMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getDefinitionMatch()); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), getParent().getDefinedClassMatch()); }
SubClassInclusionExpandedDefinitionMatch3( SubClassInclusionExpandedDefinitionMatch2 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); ElkClass firstSubsumer = firstPremiseMatch.getSubsumerElkClassMatch(); if (!parent.getDefinedClassMatch().equals(firstSubsumer)) { throw new ElkMatchException( getParent().getParent().getParent().getDefinedClass(), firstSubsumer); } this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }