--Generated automatically by GuiSurfer

module GuiModelStatesFind where

import Data.Map
import GuiTypes

statesFind :: (Map (StateRef,EventRef,CondRef,[ExpRef]) StateRef, Map StateRef State)
statesFind = (fromList [(("state0","init","condInit1",[2,3,4,5,6,7,8]),"state1"),(("state1","Cancel","cond2",[1]),"state0"),(("state1","Search","cond1",[]),"state1"),(("state1","Show","cond3",[]),"state1")],fromList [("state0",fromList []),("state1",fromList [("Cancel",True),("Search",True),("Show",True)])])