@Override
public void visit(OWLObjectUnionOf ce) {
constructs.add(U);
for (OWLClassExpression operands : ce.getOperands()) {
operands.accept(this);
}
}
public Integer visit(OWLObjectUnionOf ce) {
int max = _0;
for (OWLClassExpression op : ce.getOperands()) {
int depth = op.accept(this);
if (depth > max) {
max = depth;
}
}
return max;
}
@Override
public void visit(OWLObjectUnionOf node) {
for (Iterator<OWLClassExpression> it = node.getOperands().iterator(); it.hasNext(); ) {
it.next().accept(this);
if (it.hasNext()) {
writeSpace();
write(OR);
writeSpace();
}
}
}
/*
* (non-Javadoc)
*
* @see
* org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb
* .owlapi.model.OWLObjectUnionOf)
*/
@Override
public void visit(OWLObjectUnionOf axiom) {
Set<OWLClassExpression> owlClassEspressions = axiom.getOperands();
if (owlClassEspressions != null) {
int i = 1;
for (OWLClassExpression exp : owlClassEspressions) {
exp.accept(this);
if (i < owlClassEspressions.size()) {
sb.append(" ");
sb.append(Operator.DISJUNCTION.getId());
sb.append(" ");
}
i++;
}
}
}
@Override
public void visit(OWLObjectUnionOf desc) {
Set<OWLClassExpression> ops = duplicateSet(desc.getOperands());
obj = dataFactory.getOWLObjectUnionOf(ops);
}
@Override
public void visit(OWLObjectUnionOf desc) {
handleObject(desc);
process(desc.getOperands());
}
@Override
public void visit(OWLObjectUnionOf arg0) {
boolean ret = false;
Iterator<OWLClassExpression> iter = arg0.getOperands().iterator();
while (!ret && iter.hasNext()) ret = containsEquality(iter.next());
}
public void visit(OWLObjectUnionOf desc) {
for (OWLClassExpression operand : desc.getOperands()) {
operand.accept(this);
}
}
public void visit(OWLObjectUnionOf desc) {
for (OWLClassExpression op : desc.getOperands()) {
addChildParent(desc, op, desc);
}
}