@Override public String visit(ElkDifferentIndividualsAxiomNaryConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDifferentIndividualsAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkDifferentIndividualsAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkDifferentIndividualsAxiomNaryConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDifferentIndividualsAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkDifferentIndividualsAxiomNaryConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDifferentIndividualsAxiomNaryConversion parent = getParent(); ElkDifferentIndividualsAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> different = premise.getIndividuals(); int size = different.size(); List<ElkClassExpression> disjoint = new ArrayList<ElkClassExpression>( size); for (int i = 0; i < size; i++) { disjoint.set(i, factory.getObjectOneOf(different.get(i))); } return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDifferentIndividualsAxiomNaryConversion parent = getParent(); ElkDifferentIndividualsAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> different = premise.getIndividuals(); int size = different.size(); List<ElkClassExpression> disjoint = new ArrayList<ElkClassExpression>( size); for (int i = 0; i < size; i++) { disjoint.set(i, factory.getObjectOneOf(different.get(i))); } return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDifferentIndividualsAxiomNaryConversion parent = getParent(); ElkDifferentIndividualsAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> different = premise.getIndividuals(); int size = different.size(); List<ElkClassExpression> disjoint = new ArrayList<ElkClassExpression>( size); for (int i = 0; i < size; i++) { disjoint.set(i, factory.getObjectOneOf(different.get(i))); } return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }