public ElkDisjointClassesAxiom getPremise(final ElkObject.Factory factory) { final List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (final ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
public ElkDisjointClassesAxiom getPremise(final ElkObject.Factory factory) { final List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (final ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
@Override public ElkDisjointClassesAxiom getConclusion(ElkObject.Factory factory) { List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
@Override public ElkDisjointClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getDisjointClassesAxiom(disjoint_); }
@Override public ElkDisjointClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getDisjointClassesAxiom(disjoint_); }
public ElkDisjointClassesAxiom getPremise(final ElkObject.Factory factory) { final List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (final ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
final public ElkDisjointClassesAxiom disjointClasses() throws ParseException {List<ElkClassExpression> v; jj_consume_token(DISJOINT_CLASSES); jj_consume_token(OPEN_BRACKET); axiomAnnotations(); v = twoOrMoreClassExpressions(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getDisjointClassesAxiom(v);} throw new Error("Missing return statement in function"); }
@Override public ElkDisjointClassesAxiom getConclusion(ElkObject.Factory factory) { List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
@Override public ElkDisjointClassesAxiom getDisjointClassesAxiom( List<? extends ElkClassExpression> disjointClassExpressions) { return filter( factory_.getDisjointClassesAxiom(disjointClassExpressions)); }
@Override public ElkDisjointClassesAxiom getConclusion( final ElkObject.Factory factory) { return factory.getDisjointClassesAxiom(expressions_); }
@Override public ElkDisjointClassesAxiom getConclusion(ElkObject.Factory factory) { List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
@Override public ElkDisjointClassesAxiom getDisjointClassesAxiom( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getDisjointClassesAxiom(first, second, other)); }
@Override public ElkDisjointClassesAxiom getConclusion( final ElkObject.Factory factory) { return factory.getDisjointClassesAxiom(expressions_); }
@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
public ElkDisjointClassesAxiom getPremise(ElkObject.Factory factory) { return factory.getDisjointClassesAxiom(expressions_); }
@Override public ElkDisjointClassesAxiom getDisjointClassesAxiom( List<? extends ElkClassExpression> disjointClassExpressions) { return filter( factory_.getDisjointClassesAxiom(disjointClassExpressions)); }
@Override public ElkDisjointClassesAxiom getDisjointClassesAxiom( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getDisjointClassesAxiom(first, second, other)); }
@Override public ElkDisjointClassesAxiom getDisjointClassesAxiom( List<? extends ElkClassExpression> disjointClassExpressions) { return filter( factory_.getDisjointClassesAxiom(disjointClassExpressions)); }
@Override public ElkDisjointClassesAxiom getDisjointClassesAxiom( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getDisjointClassesAxiom(first, second, other)); }
@Override public ElkDisjointClassesAxiom getConclusion( final ElkObject.Factory factory) { return factory.getDisjointClassesAxiom(expressions_); }