@Override public SubClassInclusionComposedDefinedClassMatch2 getSubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionComposedDefinedClassMatch2(parent, secondPremiseMatch); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
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 SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
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 SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
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 SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionComposedDefinedClassMatch2 getSubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionComposedDefinedClassMatch2(parent, secondPremiseMatch); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
@Override public SubClassInclusionComposedDefinedClassMatch2 getSubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { return new SubClassInclusionComposedDefinedClassMatch2(parent, secondPremiseMatch); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getDefinitionMatch()); }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }