SoOSiM-0.1: Abstract full system simulator

Safe Haskell	Safe-Infered

SoOSiM.Simulator

Documentation

modifyNode Source

Arguments

:: NodeId	ID of the node you want to update
-> (Node -> Node)	Update function
-> SimMonad ()

modifyNodeM Source

Arguments

:: NodeId	ID of the node you want to update
-> (Node -> SimMonad ())	Update function
-> SimMonad ()

incrSendCounter :: ComponentId -> ComponentId -> Node -> SimMonad ()Source

componentNode :: ComponentId -> SimMonad NodeId Source

updateMsgBuffer Source

Arguments

:: ComponentId	Recipient component ID
-> ComponentInput	Actual message
-> Node	Node containing the component
-> SimMonad ()

updateTraceBuffer :: ComponentId -> String -> Node -> Node Source

execStep :: SimState -> IO SimState Source

execStepSmall :: SimState -> IO SimState Source