public int getTypeIndex(OWLObject object) { object.accept(this); return type; }
/** * @param object the object to duplicate * @return the duplicate */ @SuppressWarnings("unchecked") public <O extends OWLObject> O duplicateObject(OWLObject object) { object.accept(this); return (O) obj; }
private void writeNested(OWLObject expression) { expression.accept(this); }