var searchIndex = {}; searchIndex["microstate"] = {"doc":"MicroState","items":[[14,"microstate!","microstate","Create a new state machine",null,null]],"paths":[]}; initSearch(searchIndex);