--Generated automatically by GuiSurfer

module GuiModelStatesMainForm where

import Data.Map
import GuiTypes

statesMainForm :: (Map (StateRef,EventRef,CondRef,[ExpRef]) StateRef, Map StateRef State)
statesMainForm = (fromList [(("state0","init","condInit1",[6,7,8,9,10,11,12,13,14,15]),"state1"),(("state1","Edit","cond2",[2]),"state1"),(("state1","Edit","cond3",[3]),"state1"),(("state1","Exit","cond1",[1]),"state0"),(("state1","Find","cond4",[4]),"state1"),(("state1","Find","cond5",[5]),"state1")],fromList [("state0",fromList []),("state1",fromList [("Edit",True),("Exit",True),("Find",True)])])