doit_is_initialized ============================================== .. currentmodule:: pyarts.workspace .. autoproperty:: Workspace.doit_is_initialized