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)); }