--Generated automatically by GuiSurfer

module GuiModelStatesClientDBhaskellLogin where

import Data.Map
import GuiTypes

statesLogin :: (Map (StateRef,EventRef,CondRef,[ExpRef]) StateRef, Map StateRef State)
statesLogin = (fromList [(("state0","init","condInit1",[3,4]),"state1"),(("state1","Ok","cond1",[1]),"state0"),(("state1","Quit","cond2",[2]),"state0")],fromList [("state0",fromList []),("state1",fromList [("Ok",True),("Quit",True)])])