workspace_memory_handler.h File Reference

The WorkspaceMemoryHandler. More...

#include "arts.h"
#include <vector>

Go to the source code of this file.

Classes
class	WorkspaceMemoryHandler
	Handling of workspace memory. More...

Detailed Description

The WorkspaceMemoryHandler.

Author

Simon Pfreundschuh

Date

2020-09-30

Definition in file workspace_memory_handler.h.