var searchData= [ ['triggers_20and_20synchronization',['Triggers and synchronization',['../group___f_n___t_r_i_g.html',1,'']]] ];
var searchData= [ ['triggers_20and_20synchronization',['Triggers and synchronization',['../group___f_n___t_r_i_g.html',1,'']]] ];