@Override public String visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
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)); }
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)); }
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)); }
@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 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 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; }