@Override public String visit( ElkEquivalentClassesAxiomEquivalenceConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkEquivalentClassesAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkEquivalentClassesAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkEquivalentClassesAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit( ElkEquivalentClassesAxiomEquivalenceConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public String visit( ElkEquivalentClassesAxiomEquivalenceConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomEquivalenceConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), members.get(parent.getFirstMemberPosition()), members.get(parent.getSecondMemberPosition())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomEquivalenceConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), members.get(parent.getFirstMemberPosition()), members.get(parent.getSecondMemberPosition())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomEquivalenceConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), members.get(parent.getFirstMemberPosition()), members.get(parent.getSecondMemberPosition())); }