@Override public String visit( SubClassInclusionExpandedDefinitionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedDefinitionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
public IndexedEquivalentClassesAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getSecondPremise(factory)); }
public IndexedEquivalentClassesAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getSecondPremise(factory)); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
public IndexedEquivalentClassesAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getSecondPremise(factory)); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch()); }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch()); }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch()); }
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)); }
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)); }
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)); }
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)); }