var searchData=
[
  ['workspace',['Workspace',['../class_workspace.html',1,'']]]
];