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