var searchIndex = {};
searchIndex["condition_variable"] = {"doc":"","items":[[3,"ConditionVariable","condition_variable","",null,null],[4,"Notify","","",null,null],[13,"One","","",0,null],[13,"All","","",0,null],[11,"new","","",1,{"inputs":[{"name":"t"}],"output":{"name":"conditionvariable"}}],[11,"set","","",1,null],[11,"get","","",1,null],[11,"wait_for","","",1,null],[11,"wait_for_ms","","",1,null],[11,"wait_ms","","waits for a notify (useful if T==())",1,null]],"paths":[[4,"Notify"],[3,"ConditionVariable"]]};
initSearch(searchIndex);