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);
}