var searchData=
[
  ['of_20the_20main_20state_0',['Initialisation of the main state',['../group__splt__state__.html',1,'']]],
  ['options_1',['Options',['../group__splt__options__.html',1,'']]],
  ['other_20utilities_2',['Other utilities',['../group__splt__other__.html',1,'']]]
];
