Go to the documentation of this file.
43 extern std::map<String, Index>
WsvMap;
56 os <<
"\n*--------------------------------------------------------------*\n"
57 <<
"Workspace variable = " << wr.
Name()
58 <<
"\n----------------------------------------------------------------\n"
60 <<
"\n----------------------------------------------------------------\n"
62 <<
"\n*--------------------------------------------------------------*\n";
void define_wsv_map()
Define WsvMap.
Defines the enum type that acts as a handle for workspace variables groups.
const Array< WsvRecord > wsv_data
This file contains the definition of Array.
std::map< String, Index > WsvMap
This can be used to make arrays out of anything.
Index Group() const
The wsv group to which this variable belongs.
const String & Name() const
Name of this workspace variable.
ArrayOfString wsv_group_names
INDEX Index
The type to use for all integer numbers and indices.
This class contains all static information for one workspace variable.
ostream & operator<<(ostream &os, const WsvRecord &wr)
Output operator for WsvRecord.
const String & Description() const
A text describing this workspace variable.
Auxiliary header stuff related to workspace variable groups.
The global header file for ARTS.