@Override public String visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getDefinedClassMatch(), getDefinitionMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getDefinedClassMatch(), getDefinitionMatch()); }
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()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getDefinitionMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getDefinitionMatch()); }
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)); }