@Override
public void visit(OWLDatatypeRestriction node) {
write("DatatypeRestriction");
node.getDatatype().accept(this);
for (OWLFacetRestriction r : node.getFacetRestrictions()) {
writeSpace();
r.accept(this);
}
}
@Override
public void visit(OWLDatatypeRestriction node) {
node.getDatatype().accept(this);
OWLDatatype dr = (OWLDatatype) obj;
Set<OWLFacetRestriction> restrictions = new HashSet<OWLFacetRestriction>();
for (OWLFacetRestriction restriction : node.getFacetRestrictions()) {
restriction.accept(this);
restrictions.add((OWLFacetRestriction) obj);
}
obj = dataFactory.getOWLDatatypeRestriction(dr, restrictions);
}
public void visit(OWLDatatypeRestriction node) {
node.getDatatype().accept(this);
for (OWLFacetRestriction facetRestriction : node.getFacetRestrictions()) {
facetRestriction.accept(this);
}
}
