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()); }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }